Its funny, almost all the ex refs that have talked about the penalty today (Hacket, Clattenberg, Gallagher) have said it was a pen but you read the match reports or comments sections and almost universally the consensus is we got lucky.