Other people have also said to me that the final whistle went while Sky were showing the replays before the Penalty Check. Doesn't make sense. If time is extended for a penalty then I think it's over as soon as it's taken. Vaguely remember it being once the forward motion of the ball has stopped...