I know about the rules but this should not be a red card for the keeper. Arsenal was punished enough with the penalty.
or simply: