It was a penalty, but definitely not a red card.
It's one of those fouls where it's just enough to call a foul (and it happened to be in the box), but not enough for a card.
I think that the ref just thought on the spot that he pushed him, which would have been a red card, so he just gave it to him. The refs were average during the whole match.