half-groups fixes and another stuff

oops, mistakes! and we need more half-groups