Correct a typo in the docs