Fixing a typo in the documentation