Fix a few small typos in docs