By the absolute letter of the law yes, and I’m not defending what he did, but in the context of the occasion, how early in the game and how ridiculously soft, I think the ref should use discretion.
It’s stuff like that which makes footballers and the game look pathetic.
Ruined the game as a contest. No doubt they’d have won though.