Fix some doc typos