fix typo

Fix a typo in the docs