Had the penalty been converted, the match would have gone into extra time.