Just put your cursor at the end of the address line as if you were going to add something extra to the file then hit return. (Make sure you don't have the address highlighted or you will effectively delete the address.) This should give you the file download prompt. I just downloaded the file without a problem.