Minor documentation tweaks relating to the ok_group function