Pager error in live preview of view

When a live preview of a Data Export display is generated, I get the following error:
Notice: Undefined index: options in get_plugin() (line 870 of /Users/gmagini/Sites/adelefadoshop/sites/all/modules/views/plugins/views_plugin_display.inc).
Views (I'm using version 3.5) assumes that the pager plugin has some options, but the preview code doesn't set any:
$this->set_option('pager', array('type' => 'some'));