Fix a formatting issue.