correcting a few typos