Minor clean-up for the Anti-Caching LRU code