diff --git a/.travis.yml b/.travis.yml
index b6dc13f..e97121f 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -7,8 +7,8 @@ install:
 - sudo apt-get -y update
 - sudo apt-get -y install build-essential gcc-multilib cmake python python-setuptools libffi-dev
 - if [ $DEEPSTATE_CMD = deepstate-manticore ]; then git clone https://github.com/Z3Prover/z3.git; fi
-- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd z3; f
-- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then python scripts/mk_make.py; f
+- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd z3; fi
+- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then python scripts/mk_make.py; fi
 - if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd build; fi
 - if [ $DEEPSTATE_CMD = deepstate-manticore ]; then make; fi
 - if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo make install; fi