some typos, plus reference to Icard and Holliday added