They did all they could.Tbf the officials have probably already discussed 'evening out' his avoided red card from last season.
Personally think if that's a red card then there are 20+ extra red cards a season in the Premier League, especially given how cleanly he won the ball.
Yes we'd want a player sent off if they did that challenge on one of our own, but only because it would give us an advantage—not because it's worthy of being given a red card and three-game ban for violent conduct.