Fix up mistake in export command