fixed a small bug in YACC