Change of name

I changed the group name so as not to confuse it with another of the same name. Just a bit of housekeeping. I hope nobody gets lost.