Chi in que' giorni fosse capitato in Vaticano avrebbe veduto un numero {55 [55]} grande di muratori, di scalpellini a mettere in ordine mattoni, pietre e calce per chiudere i portici di quel cortile, mentre altri tiravano su dei muricci per dividere le sale e ridurle in piccole cellette.