fixed a bug in caching coverage counts.