"forAll" --> "forall"
bugfix