I thought about requesting the file twice, which might look to the server as if I were reloading the file. The problem resolved magically, though (maybe because it's daytime now and more people are accessing the page) and I'll just leave it with that for now (I'll see whether the problem reappears tonight).
Thanks for your responses.
CombatSquirrel.