Fix: leftover debug code after partial commit

16 months ago, Edouard Tisserant