some typos and additions