Codesal became the first referee to send off a player in a final match of a Football World Cup, by showing the red card to Argentines Monzón and Dezotti.
Codesal juga menjadi wasit pertama yang mengirimkan pemain dalam pertandingan final Piala Dunia Sepak bola, dengan menunjukkan kartu merah untuk Argentina Monzon dan Dezotti.