Fix a lint issue