Ta, I presume that one's just the zip again, not the files inside?
What I will do...
Upload a new pack tonight called "WHDLoad Games Update - 2007-07-05.zip"
It'll contain the fixed names and I have around 10 more games I've installed since so I might as well include them.
I'll move "WHDLoad Games Update - 2007-07-04.zip" to the requests page and leave it there for anyone who'd partially downloaded it or whatever.
I'll also put the two renamed ones and the new 10 or so in a single zip and add that to the requests page so anyone can download just those files.