Fix the pretty-printer.