fix for quantifier optionals