Integrated the prettyprinter