Yes, I realized after the fact that there was a bug in this part of the code. I just came here to comment on it and to say that I will fix it when I have a chance.