prettyprint incorporated for debugging