diff --git a/CI/teal_ci.sh b/CI/teal_ci.sh
index 5ea312e88c..8117e93443 100755
--- a/CI/teal_ci.sh
+++ b/CI/teal_ci.sh
@@ -1,4 +1,4 @@
-set -e
+#!/bin/bash -e
 
 docs/source/install_luadocumentor_in_docker.sh
 PATH=$PATH:~/luarocks/bin
diff --git a/docs/source/install_luadocumentor_in_docker.sh b/docs/source/install_luadocumentor_in_docker.sh
index a1ec253600..6d24f3e9f3 100755
--- a/docs/source/install_luadocumentor_in_docker.sh
+++ b/docs/source/install_luadocumentor_in_docker.sh
@@ -1,3 +1,5 @@
+#!/bin/bash -e
+
 if [ ! -f /.dockerenv ] && [ ! -f /home/docs/omw_luadoc_docker ]; then
     echo 'This script installs lua-5.1, luarocks, and openmwluadocumentor to $HOME. Should be used only in docker.'
     exit 1