diff --git a/Scripts/developer_scripts/autotest_cgal b/Scripts/developer_scripts/autotest_cgal
index 2c5ebeafb1a..c57ee417003 100755
--- a/Scripts/developer_scripts/autotest_cgal
+++ b/Scripts/developer_scripts/autotest_cgal
@@ -782,7 +782,7 @@ put_on_web()
 # START OF MAIN BODY
 # ----------------------------------------------------
 
-log "${ACTUAL_LOGFILE}" "${0}, version \"$Id$\""
+log "${ACTUAL_LOGFILE}" "${0}, version \""'$Id$'"\""
 
 # Parse command line arguments
 for arg in "$@"