another fix for quantifier models (related to bug 486)