Corrected a linting error.