Various typo fixes in doc/ files.