a minor linting