fix quantifier toString