prettyprint is better