redoing the export