diff --git a/Scripts/developer_scripts/autotest_cgal b/Scripts/developer_scripts/autotest_cgal
index aa1eb94a729..97488b57560 100755
--- a/Scripts/developer_scripts/autotest_cgal
+++ b/Scripts/developer_scripts/autotest_cgal
@@ -948,13 +948,13 @@ if [ -z "${DO_NOT_TEST}" ]; then
   run_test
 fi
 
-cd ${CGAL_ROOT}
+cd "${CGAL_ROOT}"
 
 if [ -e "LATEST" ]; then
   mv LATEST RELEASE_NR
 fi
 
-rm -f $LOCK_FILE;
+rm -f "$LOCK_FILE";
 
 # EOF