some bootlint fixes