Update Syntax.py.