fix for new F3 caching behaviour, fixes #15