Fix a slight formatting issue