minor fix #5: Printer