PrettyPrint Fixing