Fix some typos in docs