Web cache: portability fix
Minor fix