syntax.py and stuff
fixed a git screwup (Actually it was my screwup)