EXCEPT, by the rules, the game was over and the following at bat and choices would not have happened, if not for the obvious umpire error. It was over with the bases clean.
I agree, though, that Jax was a massive choker and Ruiz should have been taken out in aggressive order. Jax can't handle the closer pressure. Ruiz was his to destroy.