Agree that technically speaking, he should have been sent off.
Would have been a bold ref to do that though, especially in a WC final. Never gonna happen - the ceremony of the WC final trumps doing things 'right', sadly.
Can't even go to the gym until the afternoon as they're closing for the funeral. Everything is completely shutting down and there is basically no option than to go for a walk somewhere if you don't want it forced down you.