minor fixes to the syntax file