Fix a couple mistakes in the docs.