A few small typos/suggestions in documentation