I deem it likely he has had a look at a public profile and noticed the:

Group Memberships

x is not a member of any public groups

Also, there's the group membership page among the user control panel settings.