Fixed a file formatting issue