rest of the linting