Make the PrettyPrinter output prettier