minor changes on linting