removed a few typos