Yeah, that's my thinking too (apart from the bit about making a genuine attempt; I think he did)
How to tweak the rule though? Do we need to differentiate between a clear goal-scoring opportunity (which I think is where double jeopardy comes in - effectively a professional foul) and an open goal?
In that game, the bottom line is that the red card wouldn't have impacted the penalty, so you'd then have had just four minutes with an extra player on the pitch, which isn't a lot really.
Bookmarks