Fix a formatting issue

OCD