fixed a linting error