improved output message of forall