Fix a formatting typo