Fix a minor formatting issue