Minor fix in debug code