Järgmine paavst Marinus I vabastas Formosuse Troyes' antud vandest ja ennistas ta juunis 883 taas Porto piiskopi ametisse. Formosus pühitses 885 paavstiks Stephanus V. Ta rajas oma piiskopiresidentsi juurde rändurite jaoks hospiitsi (xenodochium).