A bit of linting