He didn't get a straight red, he got a second yellow and thus, red. I think it was straight red, ref never showed second yellow before red card.