Iterators: Fix a loop header bug