minor cosmetic changes to the download script