Week and day titles formatted incorrectly

This was originally reported as a Calendar bug (#1361610), but it was pointed out that the error is actually in the Date module.

The title for the Week view reads "Week of December 19 2011" and that of the Day view is "Monday, December 19 2011". Omitting the comma between the day and year is incorrect in all date systems that I am aware of.

The format of these titles is hard coded in date/date_views/theme/theme.inc, specifically, in lines 180 and 185. Commas should be inserted into the format strings as appear below. (The formats that read F j Y should be changed to read F j, Y.)

case 'day':
$format = !empty($format) ? $format : (empty($date_info->mini) ? 'l, F j, Y' : 'l, F j');
$title = date_format_date($date_info->min_date, 'custom', $format);
$date_arg = $date_info->year .'-'. date_pad($date_info->month) .'-'. date_pad($date_info->day);
break;
case 'week':
$format = !empty($format) ? $format : (empty($date_info->mini) ? 'F j, Y' : 'F j');
$title = t('Week of @date', array('@date' => date_format_date($date_info->min_date, 'custom', $format)));
$date_arg = $date_info->year .'-W'. date_pad($date_info->week);
break;

I'm too new to Drupal and PHP to attempt making a patch to the module, so I ask that someone more competent than I address the matter. Better still: perhaps the fix could be applied with the next commit.