diff --git a/.gitattributes b/.gitattributes
index 2fb5e7057b4..51693a2724e 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -3153,10 +3153,6 @@ Ridges_3/examples/Ridges_3/skip_vcproj_auto_generation -text
 Ridges_3/test/Ridges_3/data/ellipsoid.off -text svneol=unset#application/octet-stream
 Robustness/demo/Robustness/help/index.html svneol=native#text/html
 STL_Extension/doc_tex/STL_Extension/plusplus.png -text
-STL_Extension/doc_tex/STL_Extension_ref/Uncertain.tex -text
-STL_Extension/include/CGAL/Default.h -text
-STL_Extension/include/CGAL/array.h -text
-STL_Extension/include/CGAL/type_traits.h -text
 STL_Extension/test/STL_Extension/test_Uncertain.cpp -text
 STL_Extension/test/STL_Extension/test_type_traits.cpp -text
 Scripts/developer_scripts/autotest_cgal_with_cmake -text
diff --git a/STL_Extension/doc_tex/STL_Extension_ref/Uncertain.tex b/STL_Extension/doc_tex/STL_Extension_ref/Uncertain.tex
index 53f53116f5e..38a02a7ef3e 100644
--- a/STL_Extension/doc_tex/STL_Extension_ref/Uncertain.tex
+++ b/STL_Extension/doc_tex/STL_Extension_ref/Uncertain.tex
@@ -4,8 +4,8 @@
 %% -----------------------------------------------------------------------------
 %% author: Sylvain Pion
 %% -----------------------------------------------------------------------------
-%% $Id: $
-%% $URL: $
+%% $Id$
+%% $URL$
 %% =============================================================================
 
 %% +=========================================================================+