Fix the pretty-printer as well.