Bugfix in download.sh