Fix a cache problem