Fixed a formatting mistake