I think it's an area where the rules need a bit of tweaking. I agree that a yellow was the right decision how they currently are, but the combination of it stopping a very dangerous attack, being from behind and quite aggressive, and completely deliberate makes it feel like it really should be a red card.