some typos and corrections