Fix an issue with the documentation.