Overwriting prettyPrint (fixes #1)