correct a few small typos