Higman/Higman: cosmetic changes.