minor fix #4: Printer