Fix python-syntax submodule