Ah, good point. I had originally envisioned it as a priority queue, but in the end I decided that it would be better implemented as just a pure round robin. I'll update the comment.