Improve copy of code from prettyprint area