Higman/Higman: small improvements.