generic iterators are now finite