some typo fixes and additions to the documentation