Update linter.py