Fix doc typos reported by tounsi67 in issue#260