diff --git a/travis/build_helper.sh b/travis/build_helper.sh
index 1f63e3c0a..1ae396c14 100755
--- a/travis/build_helper.sh
+++ b/travis/build_helper.sh
@@ -59,9 +59,8 @@ run() {
     cd build
     ctest test --output-on-failure
     travis_fold end test_all
-    ;;
 
-     # Check correctness of build types
+    # Check correctness of build types
     case "$CONFIG" in
     DefaultDebug*)
         ./bin/storm --version | grep "with flags .* -g"