Fix some doc typos as reported by Michel Morin.