Fix gh-19: better linting