You are correct. Rule 2 states:
TIES - in the event that a match is tied, the player leading prior to the last play is declared the winner. If both opponents agree, another game may be played to determine the winner.
Would you please send a screenshot of the game to firstname.lastname@example.org