typos and a remark.