fix a export error