prettyprinter updated