minor fix #10: Printer