revise prettyprinter