simplify invocation of syntax.py