diff --git a/scripts/batch-run-picus-noprop.sh b/scripts/batch-run-picus-noprop.sh
index 21da812..02f0e2f 100755
--- a/scripts/batch-run-picus-noprop.sh
+++ b/scripts/batch-run-picus-noprop.sh
@@ -7,21 +7,21 @@ otime=$2
 logpath=$3
 targetfolder=$4
 
-mkdir -p ${logpath}
+mkdir -p "${logpath}"
 
-for fp in ${targetfolder}/*.r1cs
+for fp in "${targetfolder}"/*.r1cs
 do
-	fn=$(basename ${fp})
+	fn=$(basename "${fp}")
 	bn="${fn%.*}"
     bp="${fp%.*}"
 	echo "=================== checking: ${fn} ==================="
 	echo "====   start: $(date -u)"
 	st="$(date -u +%s)"
 
-    timeout ${otime} racket ./picus-dpvl-uniqueness.rkt --timeout 5000 --solver ${solver} --weak --noprop --r1cs ${fp} > ${logpath}/${bn}.log 2>&1
+    timeout "${otime}" racket ./picus-dpvl-uniqueness.rkt --timeout 5000 --solver "${solver}" --weak --noprop --r1cs "${fp}" > "${logpath}/${bn}.log" 2>&1
 
 	et="$(date -u +%s)"
 	echo "====     end: $(date -u)"
 	ct="$(($et-$st))"
 	echo "==== elapsed: ${ct} seconds"
-done
\ No newline at end of file
+done