typos and additions.