Fixing some typos in docs