fix a couple of lint warnings