Minor correction to `data.export()`