Minor lint fixes (semis)