Print-finishing devices