documentation and typo fixes