Fixed a bit of formatting