Web cache: Minor performance optimization and cleanup