Small improvements to TimedCache<>