added counter for cache misses in CachingReader