Fix Validation forall description
Merge pull request #297 from ceedubs/validation-forall-doc

Fix Validation forall description