fix a little lint error