Some doc typo fixes