fix get_iterator documentation
add next_leave method