Update runlint.py