found a few more typos