Fixing a typo in documentation