Sorry, that's what I meant. The previous loop already does the "proper" thing.