Added linter option.