Adding prettyprint support