Fix a formatting problem