diff --git a/.travis.yml b/.travis.yml
index 855ca65..aee8afc 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,9 +6,9 @@ python:
 install:
 - sudo apt-get update
 - sudo apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev
-- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo add-apt-repository ppa:neon1ks/xenial
-- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get update
-- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get install z3
+- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo add-apt-repository ppa:neon1ks/xenial; fi
+- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get update; fi
+- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get install z3; fi
 - mkdir build
 - cd build
 - cmake ..