Yes, you are right, the tie-break ending had never been tested and there was indeed a bug in the tie-break calculation.
I have fixed it and form now on it shouldn't happen again.
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum