Rename parameter pretty-print -> prettyPrint.