Fixed a formatting bug