found a few typos