More options to linting