Fix export_file docs