It seems that this bug has been known, but left open for a while. See this post from May 2017:
Here is another related discussion, where this particular post seems to suggest that it might be possible for a moderator to manually decide the game as a tie (but maybe not after it’s ended):