Switch to a less destructive way of doing pretty printing