trivial lint fixes