Fixing a typo in the docs