It was a silly mistake to make but it's an absurd thing for the referee to give a penalty for. An Arsenal player apparently did a similar thing in Europe last season and the referee just used their common sense. Mings had no idea Martinez had kicked the ball, he thought he had just rolled it to him to take the goal kick. If he had handled the ball under pressure from the opposition then I would understand it but it was ostensibly a dead ball, it seems ridiculous to pull him up on it. We didn't play particularly well, looked pretty lost in the second half even before the penalty, but it's still a hard one to take.