once you got the infected GIF file, the code in the virus was activated to do something.
I don't think that this is the case here, more than likely bad cache memory. Clear the cache, or change the setting to refresh on each page load and then see if the problem goes away.