Fix the PrettyPrinter ~ bug