minor changes yacc