fix quantifier segment bug