diff --git a/verify.sh b/verify.sh
index 149395a..2bfe936 100755
--- a/verify.sh
+++ b/verify.sh
@@ -8,15 +8,15 @@ scriptDir=$(dirname "$0")
 isCi=$CI
 
 # create .gobra folder if it does not exist yet:
-mkdir -p $scriptDir/.gobra
+mkdir -p "$scriptDir/.gobra"
 
 gobraJar="/gobra/gobra.jar"
-additionalGobraArgs="--module github.com/viperproject/ReusableProtocolVerificationLibrary --include .verification --gobraDirectory $scriptDir/.gobra --parallelizeBranches"
+additionalGobraArgs="--module github.com/viperproject/ReusableProtocolVerificationLibrary --include .verification --gobraDirectory '$scriptDir/.gobra' --parallelizeBranches"
 
 if [ $isCi ]; then
     echo -e "\033[0Ksection_start:`date +%s`:verify[collapsed=true]\r\033[0KVerifying packages"
 fi
-java -Xss128m -jar $gobraJar --recursive -I $scriptDir $additionalGobraArgs
+java -Xss128m -jar "$gobraJar" --recursive -I "$scriptDir" $additionalGobraArgs
 exitCode=$?
 if [ $isCi ]; then
     echo -e "\033[0Ksection_end:`date +%s`:verify\r\033[0K"