minor fix #3: Printer