In page user/index.php, if separate groups and user not in group, theme header doesn't show.

If the user try to view "Partecipants" page in a course with separate groups, but he's not in a group, the error page doesn't show regular theme header.
I checked in CVS:

http://moodle.cvs.sourceforge.net/moodle/moodle/user/index.php?revision=1.142&view=markup

This lines:
109 if ($isseparategroups and (!$currentgroup) )

{ //XXX 110 print_heading(get_string("notingroup", "forum")); 111 print_footer($course); 112 exit; 113 }

Have to be integrated with "print_header" function:
if ($isseparategroups and (!$currentgroup) )

{ //XXX print_header("$course->shortname: ".get_string('participants'), $course->fullname, "<a href=\"../course/view.php?id=$course->id\">$course->shortname</a> -> ". get_string('participants'), "", "", true, " ", navmenu($course)); print_heading(get_string("notingroup", "forum")); print_footer($course); exit; }