wp_exported_export() used to do that internally, but it's cleaner
to do it this way now