Updated prettyprint