This seems like some kind of special case that would benefit from a comment. I don't know what is going on here.