some typos fixed etc.