Correct. Linesman flagged for offside, VAR intervened as when Silva jostled Sa he was ONSIDE but then offside after Stones headed it, by which time he wasn't interfering.He didn’t go against the VAR. He’d disallowed it. It was the VAR who recommended he gives it.
Heck if that was disallowed we (Arsenal) would never score at corners!