updated a few typos