Fixing a cache bug in F3