Option for linting