Fixing a typo in documentation.