revert clebert's debug commit

This reverts commit 4fa7258734dcc60ad9dddb1b3c446a7e19ef38a3.