a couple typo fixes in the documentation