Fix "parsing" of the yacc output