For #1824: remove debug