Fixing a small typo in documentation.