Make it pass the pretty-printer test.