Funniest thing about the penalty is that Maguire did exactly the same to Stones and clearly thought he was the one being penalised when he complained to the referee.
I suspect they’ve given it because 4 United players grabbed their city counterparts and that makes it clear it’s a deliberate tactic and not just a bit of contact in the box.