prettyPrint now works.