diff --git a/Scripts/developer_scripts/replace_CGAL_NAMESPACE.py b/Scripts/developer_scripts/replace_CGAL_NAMESPACE.py
index f429e3b3ad9..ef3334f4517 100644
--- a/Scripts/developer_scripts/replace_CGAL_NAMESPACE.py
+++ b/Scripts/developer_scripts/replace_CGAL_NAMESPACE.py
@@ -19,5 +19,5 @@ for dirname, dirnames, filenames in os.walk(argv[1]):
           fname=os.path.join(dirname, filename)
           for lines in fileinput.FileInput(fname, inplace=1):
             lines = lines.replace("CGAL_BEGIN_NAMESPACE","namespace CGAL {")
-            lines = lines.replace("CGAL_END_NAMESPACE","} //namespace CGAL")
+            lines = lines.replace("CGAL_END_NAMESPACE","} // end namespace CGAL")
             print lines,