fix the missing export