Fix a couple typos in the documentation.