fixing up prettyprint