Bugfix: prettyprint