Whose clever idea was it to adopt the tie break formula with penalties?