(small) bug - ldap group membership doesn''t refresh [wf 2.5.1]

If I add create a group and add members to it, then refresh my group summary page, the new group appears with all the new members. However, if I simply add a user to an existing group, the membership list is not updated - even if I view the click to edit the group.

Perhaps a single master “refresh ldap listings” button would help?

note: restarting the server does refresh the groups.