diff --git a/scripts/add_repo.sh b/scripts/add_repo.sh
index 48881be..9318e56 100755
--- a/scripts/add_repo.sh
+++ b/scripts/add_repo.sh
@@ -2,7 +2,7 @@
 
 echo "Adding repositories..."
 
-if [[ "$DISTRIB_RELEASE" == "14.04" || "$DISTRIB_RELEASE" == "17" ]]
+if [[ "$DISTRIB_RELEASE" == "14.04" || "$DISTRIB_RELEASE" == "17" ]]; then
     # Ubuntu release 14.04, LinuxMint 17
     DISTRIB_REPO="trusty"