some minor typos fixed