Bugs in sharing filtered nonterminals resolved.