Higman: cosmetic changes & comments.