Fix an error in documentation.