Some lint fixes. Oh, and also disabling lint :)