Good catch, that looks like a bug. Tricky to write tests for that case, since you need to generate deliberate race conditions. I'll fix that.