Fix a lint error.