It could have been a temporary file. But to be on the safe site, I suggest you run a boottime scan and see if anything comes up.