Add pretty-printer.