Editing: LazyIterator.php