Fixing two mistakes in documentation.