Fix: leftover debug code after partial commit

15 months ago, Edouard Tisserant