Fix a typo in the docs.