Typos, omissions fixed