fix example #4 code prettyprint