Antes de su nuevo nombramiento, el Congreso había aumentado la pensión disponible a los magistrados que se retiraran a la edad de setenta años.