small correction in export