minor fix #11: Printer