some minor linting