Fix an issue in the documentation.