fixed missing import in forall