Fix bug in printer.