Cosmetic: cleaning debug code