more de-linting