tweaking lint, and de-linting