Fixing a tiebreaking bug