Summary jump menu ignores base_path option

When creating a view with a "Content: Created year + month" argument, I've set it to Display a summary when the filter value is not available, using the Jump menu format, however the base path option is ignored when the jump menu gets rendered.

I think I've traced this down to line 102 in plugins/views_plugin_style_summary_jump_menu.inc:

if (!empty($argument->options['style_options']['base_path'])) {
  $base_path = $argument->options['style_options']['base_path'];
}

Changing it to the following seems to fix the problem:

if (!empty($argument->options['summary_options']['base_path'])) {
  $base_path = $argument->options['summary_options']['base_path'];
}

...however I'm not anywhere near familiar enough with Views code to determine whether this is the correct approach.