Fix an issue with documentation caching