Added missing call to prettyprint