Fixing a panic when printing name conflict resolutions

Created by  pmeunier  on October 11, 2022
I7RXYOWKXYWRKKLM4W66XPOYFJFOZOKVX4N5Y6VBTFTD6WKCXUOAC
Change contents