#943 Needed Enumerator.eof.  Spec commented out still