fix linting bug