Quick fix in Cache.h