fix lint.py