Re: Some very minor typos in the documentation