Add a comment of what this loop is doing, and why. It makes reading it and verifying it easier.