Pretty much.
For all those splaffing about how it was a guaranteed red card etc, when was the last time you saw a red card given for grappling like that in the box? Never.
Penalty and nothing else should have been the correct decision, the only thing sad is that we're apparently not big enough of a club anymore to get a clear bias in our favour at home.