Intendendo che molti fedeli pegli oltraggi dei Musulmani erano costretti andar errando a guisa di animali selvatici nelle foreste, ebbe di loro pietà, e partitosi da Roma si portò in persona a recar soccorso a quegl'infelici; fece edificar la città di Leopoli che loro servì di asilo.

 Questa nuova parte fu detta città Leonina o Leopoli in onore del Pontefice che le aveva edificate.