Problem unzipping the php pdf manual download.

I downloaded the zipped php manual, both the pdf version, and the html version (english). The html version works O.K., but with the zipped pdf version, I get the error below while either trying to view it from within the zip file, or the same message, last line, (bad CRC e22056e3 (should be 4809c32d)). There may be a problem with the pdf file, or the winzip program which I just re-installed, or a problem when I downloaded the file. In any event, I will download the larger, uncompressed pdf file. Just reporting it to you so others don't have the same problem. Thanks. Dll: D:\WINZIP\wz32.dll - 09/26/97 06:30 Extracting to "C:\WINDOWS\TEMP\" Use Path: no Overlay Files: yes Extracting php_manual_en.pdf bad CRC e22056e3 (should be 4809c32d) btw, D is a partition on my hard drive (raid 5). I hope I sent this to the correct address, as I had a little difficulty in finding any email addresses on your site. If not, please forward to the correct individual. Thanks again.