fix an export