fix compiltation error for DEbug