various documentation updates, typo fixes