Fixed a bug in Lean\Cache