minor fixes after linting