very minor copy edit.