fixed a type error in python-core-syntax