Fixing some simple lint errors