minor fix #12: Printer