minor fix: Printer