Die-cutting machines