correct a few small errors/typos