Allí Federico reconoció formalmente a Alejandro III como papa legítimo y abandonó a su propio antipapa, Calixto III; en consecuencia, los cardenales levantaron formalmente la excomunión que pesaba sobre el emperador desde 1160.