7.4.7 download file misnamed

I just downloaded 7.4.7 from the download page
and ended up with a file labelled 9.4.7.  oops.

Copy me on replies if you want me to see them.
I've got nomail on for this list right now.

--elein
elein@varlena.com