Fix strange debug code