syntax fix in abstract.py