A small doc change in cache.py