Fixed a minor formatting issue