Fix incorrect printf reported by antoine