Added bugged PrettyPrinter