PrettyPrinter Fix