fix a few lint issues