several typos fixed