Fix a formatting error