Fix bug in forall.