fixing a small typo in the docs