Fix a code formatting issue in json.rs