Bug fix for quantified variables.