Fix for a cache problem in IE10