Added linting option