Minor changes in the export command