Even more linting