diff --git a/ubuntu-setup.bash b/ubuntu-setup.bash
index 65231d9d0..a969d0fe3 100644
--- a/ubuntu-setup.bash
+++ b/ubuntu-setup.bash
@@ -10,7 +10,7 @@ shopt -s extglob
 sudo -v >/dev/null 2>&1 || { echo $(whoami) has no sudo privileges ; exit 1; }
 
 # Check if universal repository is enabled 
-grep -i universe /etc/apt/sources.list >> /dev/null || echo "Please enable universe repository" && exit 1
+grep -i universe /etc/apt/sources.list > /dev/null || { echo "Please enable universe repository" ; exit 1 ; }
 
 # Check if wget is installed 
 test wget || echo "Installing wget.." && sudo apt-get install wget && echo "Installed wget.."