Fixed a reformatting error