Update prettyprint stuff