minor fix #14: Printer