diff --git a/Algebraic_foundations/doc/Algebraic_foundations/Concepts/FieldNumberType.h b/Algebraic_foundations/doc/Algebraic_foundations/Concepts/FieldNumberType.h
index c269a7f6691..2a2afe9054d 100644
--- a/Algebraic_foundations/doc/Algebraic_foundations/Concepts/FieldNumberType.h
+++ b/Algebraic_foundations/doc/Algebraic_foundations/Concepts/FieldNumberType.h
@@ -1,6 +1,3 @@
-typedef int X;
-
-
 /*!
 \ingroup PkgAlgebraicFoundationsRealNumberTypesConcepts
 \cgalconcept
diff --git a/Documentation/DoxygenLayoutPackage.xml b/Documentation/DoxygenLayoutPackage.xml
index 33ce4b28efc..61146d2e96a 100644
--- a/Documentation/DoxygenLayoutPackage.xml
+++ b/Documentation/DoxygenLayoutPackage.xml
@@ -2,24 +2,21 @@
   <!-- Navigation index tabs for HTML output -->
   <navindex>
     <tab type="mainpage" visible="yes" title="User Manual"/>
-    <tab type="modules" visible="yes" title="Reference Manual" intro=" "/>
-    <tab type="pages" visible="yes" title="" intro=""/>
+    <tab type="modules" visible="yes" title="Reference Manual" intro=""/>
+    <tab type="pages" visible="yes" title="Pages" intro=""/>
     <tab type="classes" visible="yes" title="">
       <tab type="classlist" visible="yes" title="" intro=""/>
       <tab type="classindex" visible="$ALPHABETICAL_INDEX" title=""/>
       <tab type="hierarchy" visible="yes" title="" intro=""/>
       <tab type="classmembers" visible="yes" title="" intro=""/>
     </tab>
-    <tab type="files" visible="yes" title="">
-      <tab type="filelist" visible="yes" title="" intro=""/>
-      <tab type="globals" visible="yes" title="" intro=""/>
-    </tab>
+    <tab type="filelist" visible="yes" title="Files" intro=""/>
     <tab type="examples" visible="yes" title="" intro=""/>  
   </navindex>
 
   <!-- Layout definition for a class page -->
   <class>
-    <briefdescription visible="no"/>
+    <briefdescription visible="yes"/>
     <detaileddescription title=" "/>
     <includes visible="$SHOW_INCLUDE_FILES"/>
     <inheritancegraph visible="$CLASS_GRAPH"/>
diff --git a/Documentation/header.html b/Documentation/header.html
index 241d226308f..1632f07d316 100644
--- a/Documentation/header.html
+++ b/Documentation/header.html
@@ -36,8 +36,6 @@ $search
             i + "' title='" + current.prop("tagName") + "'>" + current.text() + "</a></li>");
         });
       }
-      <!-- trigger a resize event -->
-      $(window).resize();
     });
 </script>
 <!-- hack around a bug in resize.js. The original resizeHeight is not
diff --git a/Documentation/header_package.html b/Documentation/header_package.html
index 9fed8ce2b23..2ed18bb127d 100644
--- a/Documentation/header_package.html
+++ b/Documentation/header_package.html
@@ -11,35 +11,6 @@
 <script type="text/javascript" src="$relpath$jquery.footnotes.min.js"></script>
 $treeview
 $search
-<!-- throw a stick at the modules array and hijack gotoNode for our own evil purposes -->
-<script type="text/javascript">
-var head = $("head")[0];
-var script = document.createElement('script');
-script.type = 'text/javascript';
-script.src = 'modules.js';
-script.onload = function() {
-  NAVTREE[0][2][1][1] = modules[0][1];
-  NAVTREE[0][2][1][2] = modules[0][2];
-}
-head.appendChild(script);
-gotoNode = function (o,subIndex,root,hash,relpath) {
-  var nti = navTreeSubIndices[subIndex][root+hash];
-  if(nti && (nti[0] === 1 && nti[0])) {
-      nti.splice(1, 1);
-  }
-  o.breadcrumbs = $.extend(true, [], nti ? nti : navTreeSubIndices[subIndex][root]);
-  if (!o.breadcrumbs && root!=NAVTREE[0][1]) { // fallback: show index
-    navTo(o,NAVTREE[0][1],"",relpath);
-    $('.item').removeClass('selected');
-    $('.item').removeAttr('id');
-  }
-  if (o.breadcrumbs) {
-    o.breadcrumbs.unshift(0); // add 0 for root node
-    showNode(o, o.node, 0, hash);
-  }
-}
-</script>
-
 <!-- don't use the doxygen include style to specify config parameters  -->
 <script src="$relpath$../../MathJax/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>