Searching on a campaign from the find members form results in fatal error

I figured two ways to fix it, but not sure which is the "right" way. Suggestions? Both additions work - we only need one. Or maybe there's a better fix?

jamie

— CRM/Contact/BAO/Query.php (revision 41780)
+++ CRM/Contact/BAO/Query.php (working copy)
@@ -1307,6 +1307,7 @@
(substr($values[0], 0, 13) == 'contribution_') ||
(substr($values[0], 0, 6) == 'event_') ||
(substr($values[0], 0, 12) == 'participant_') ||
+ (substr($values[0], 0, 12) == 'member_') ||
(substr($values[0], 0, 6) == 'quest_') ||
(substr($values[0], 0, 8) == 'kabissa_') ||
(substr($values[0], 0, 4) == 'tmf_') ||
@@ -1409,6 +1410,7 @@
case 'activity_test':
case 'activity_contact_name':
case 'activity_campaign_id':
+ case 'member_campaign_id':
case 'activity_engagement_level':
case 'activity_id':
CRM_Activity_BAO_Query::whereClauseSingle($values, $this);