lint.py: improved docstring