Use print_quoted in print_to_json.