Fix a small style violation.