more typos and corrections