typos and additions