Correct a bug with export_arguments, which was making impossible a future import