Someone fixed a bug in cache.php

I never found the bug, don't even use this code, but I want to be up to
date. Not sure the proper way to do this...