Update prettyprint.py