Fix a lint warning