This tournament:
Yeah, that looks like a bug or design mistake. Double elimination should mean that you should get a second shot at playing the final game since you hadn’t lost yet in the tournament.
The final in a double elimination tournament should always be: the undefeated player only needs to win once to win the tournament while the other player needs to win twice.