Extra space added before the comma that separates multiple office hour periods

I noticed that multiple office hour periods have a space before and after the comma, like this:

Monday: 1:00 AM - 2:00 AM , 3:00 AM - 4:00 AM

But I think most people would want it formatted like this:

Monday: 1:00 AM - 2:00 AM, 3:00 AM - 4:00 AM

I fixed it by editing office_hours.theme.inc line 73, changing from this:

$additional = ' , <span class="oh-display-hours">' . $strhrs2 . ' - ' . $endhrs2 . '</span>';

To this:

$additional = ', <span class="oh-display-hours">' . $strhrs2 . ' - ' . $endhrs2 . '</span>';

I would submit a patch but I need to learn how to create one. I will git going on that one of these days . . .