Fix a formatting issue