"Undefined index" errors in _fieldgroup_get_tree()

The latest CVS snapshot displays the following errors via Drush any time the the site cache is cleared:

WD php: Notice: Undefined index:  group_carousel in _fieldgroup_get_tree() (line 311 of fieldgroup.module).
WD php: Notice: Undefined index:  group_banner_data in _fieldgroup_get_tree() (line 311 of fieldgroup.module).

That corresponds to the following IF statement:

        if ($children[$type_name][$child_group_name]) {
          $tree = array_merge($tree, _fieldgroup_get_tree($type_name, $child_group_name, $depth, $max_depth));
        }

This should be rewritten as:

        if (!empty($children[$type_name][$child_group_name])) {
          $tree = array_merge($tree, _fieldgroup_get_tree($type_name, $child_group_name, $depth, $max_depth));
        }