Tras acabar con esto, el emperador decidió escoger a Gerberto, arzobispo de Rávena, como el Pontífice supremo de Roma.