Thank you for the suggestion. I checked the length of my downloaded file and it is correct. Before downloading it again, it occurred to me to try 'Run as administrator' and it worked I guess I should have tried that in the first place.