Fix a typo in docs