#30: admins can now assign group leaders