minor fix #7: Printer