fix bug in forall