Removed prettyprint include as it is no longer used