Fix an error in the group laws