fixed a small bug in syntax.c