fix a lint error