diff --git a/ci_script.sh b/ci_script.sh
index 91846cd3..1a5fc058 100755
--- a/ci_script.sh
+++ b/ci_script.sh
@@ -17,8 +17,8 @@ case "$1" in
     ;;
 ("webui")
     # TODO: both can only parse one file at a time
-    npm exec --no eslint html/custom.js
-    npm exec --no html-validate html/index.html
+    npm exec --no -- eslint html/custom.js
+    npm exec --no -- html-validate html/index.html
     # checks whether the webui can be built
     ./build.sh -f environments
     # TODO: gzip inserts an OS-dependant byte in the header, ref.