Fix a style violation.