tell the enumerator that its job is finished with pushee.end()