Another bugfix

scripts/download.sh

diff --git a/scripts/download.sh b/scripts/download.sh
index a490c9b..2a5e3a2 100755
--- a/scripts/download.sh
+++ b/scripts/download.sh
@@ -26,7 +26,7 @@
 
 set -e
 
-if [ "${1: -3}" == ".gz"; ] then
+if [ "${1: -3}" == ".gz" ] ; then
 
     # Neither curl or wget are guaranteed to be included in all *nix systems,
     # (but most have *one* of them). This tools tries its best to find one.
@@ -75,3 +75,4 @@
 fi
 
 exit 0
+