bug corrected about export