Removed pretty printing, but left a comment about why I don't do it