Quick changes on formatting with prettyprint