Fix suggestion for settings.notifications page

Hi, for version 1.3.5, in the member's settings->notifications page the radio buttons for group calerdar in wpms 3.5.1 BP 1.7.2 don't work.
The fix for that is the following:
In file /bp-group-calendar/groupcalendar/bp-group-calendar.php replace from ln~707 the function

function bp_group_calendar_notification_settings() {
    global $current_user;
    ?>
    <tr>
        <td></td>
        <td>//<?php _e('A new group event is created', 'groupcalendar') ?></td>
        <td class="yes"><input type="radio" name="notifications[notification_groups_calendar_event]" value="yes" //<?php if (!get_user_meta($current_user->id, 'notification_groups_calendar_event') || 'yes' == get_user_meta($current_user->id, 'notification_groups_calendar_event')) { ?>checked="checked" <?php } ?>/></td>
        <td class="no"><input type="radio" name="notifications[notification_groups_calendar_event]" value="no" //<?php if ('no' == get_user_meta($current_user->id, 'notification_groups_calendar_event')) { ?>checked="checked" <?php } ?>/></td>
    </tr>
    <?php
}

with the following:

function bp_group_calendar_notification_settings() {
   if ( !$notification_groups_calendar_event = bp_get_user_meta( bp_displayed_user_id(), 'notification_groups_calendar_event', true ) )
		$notification_groups_calendar_event  = 'yes';
    ?>
    <tr>
        <td></td>
        <td><?php _e('A new group event is created', 'groupcalendar') ?></td>
        <td class="yes"><input type="radio" name="notifications[notification_groups_calendar_event]" value="yes" <?php checked( $notification_groups_calendar_event, 'yes', true ) ?>/></td>
        <td class="no"><input type="radio" name="notifications[notification_groups_calendar_event]" value="no" <?php checked( $notification_groups_calendar_event, 'no', true ) ?>/></td>
    </tr>
    <?php
}

It would be great if you let the developer know about the suggested fix in order to included into the next version.

Bests Lena