Fix prettyprint