fix missing export