Esto provocó que en un concilio celebrado en Pavía en el año 997, se restituyera como arzobispo de Reims a Arnulfo y se condenara como usurpador a Gerberto, además de levantar la excomunión.