Yeah it was never a red card but they got what they deserved!
Its one of those odd ones that football throws up, go in like that studs up anywhere else on the pitch and its a red card, however, in such cases in the box they tend to be given as a yellow card.