one typographical correction to HEK