a few typos gone