diff --git a/scripts/camkes.sh b/scripts/camkes.sh
index d97e344..3730317 100644
--- a/scripts/camkes.sh
+++ b/scripts/camkes.sh
@@ -90,6 +90,7 @@ curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_H
                                                                    BOOTSTRAP_HASKELL_INSTALL_STACK=1 \
                                                                    BOOTSTRAP_HASKELL_ADJUST_BASHRC=P sh
 
+# shellcheck disable=SC1091
 source /root/.ghcup/env
 
 # Pick a random group ID, one that won't clash with common user GIDs
diff --git a/scripts/sel4.sh b/scripts/sel4.sh
index 6163035..4c38590 100644
--- a/scripts/sel4.sh
+++ b/scripts/sel4.sh
@@ -117,7 +117,6 @@ if [ "$DESKTOP_MACHINE" = "no" ] ; then
         exit 1
     fi
 
-    # shellcheck disable=SC2086
     for compiler in gcc-${compiler_version}-arm-linux-gnueabi \
                     cpp-${compiler_version}-arm-linux-gnueabi \
                     g++-${compiler_version}-arm-linux-gnueabi \
@@ -127,7 +126,7 @@ if [ "$DESKTOP_MACHINE" = "no" ] ; then
                     gcc-${compiler_version}-arm-linux-gnueabihf \
                     cpp-${compiler_version}-arm-linux-gnueabihf \
                     g++-${compiler_version}-arm-linux-gnueabihf \
-                    $MORE_COMP
+                    $MORE_COMP # shellcheck disable=SC2086
                     # end of list
     do
         echo "${compiler}"