Fix python syntax in linter.py