Fix a formatting error.