PrettyPrinter fix