tweaked the prettyprint slides