The highlights on sportscene show the 1st RC player to go down did so with no contact from a well player, so he dived, then butcher won the ball cleanly before the 2nd RC player fell over him.
VAR doing what it was introduced for to stop clear and obvious errors, just a pity its taking too long and not always getting it correct.