diff --git a/html/documentation.html b/html/documentation.html
index 2e20aff6f380d7c3d50ab98ecff8b74598d3b28c..1dd78b2d52e11dc8a8a2770d67af51d55220cda3 100755
--- a/html/documentation.html
+++ b/html/documentation.html
@@ -54,7 +54,7 @@ title: Documentation - Frama-C
 
           <div class="tileWrapper" size="small">
             <div class="tileWrapperTitle">
-              <span>Plug-ins Manuals</span>
+              <span>Plug-in Manuals</span>
             </div>
             <div class="tile">
               <h4 class="tileTitle"><span>Plugin Development</span></h4>
@@ -96,4 +96,4 @@ title: Documentation - Frama-C
       <div class="clear"></div>
     </div>
   </div>
-</body>
\ No newline at end of file
+</body>
diff --git a/html/publications.html b/html/publications.html
index b95316d164ca1686b6c966771b651f5fdede12fd..ea4bbc3db9a470494f0240c59ecc3e3bf378eaca 100644
--- a/html/publications.html
+++ b/html/publications.html
@@ -9,7 +9,7 @@ css: publications
     <input class="nav-check" id="nav-check" type="checkbox">
     <nav class="navigation">
       <ul>
-        <li><a href="#general">Frama-C General</a></li>
+        <li><a href="#general">Frama-C Framework</a></li>
         {% for category in site.data.publications %}
           <li>
             <a class="nav-link" href="#{{ category.id }}">
@@ -48,7 +48,7 @@ css: publications
         <div class="wrap">
           <h1 class="pageTitle">Publications</h1>
 
-          <h1 id="general" class="anchor"> Frama-C General </h1>
+          <h1 id="general" class="anchor"> Frama-C Framework </h1>
          
           {% include publication-entries.html
              title="Manuals" category="manuals" plugin="general" %}
@@ -89,4 +89,4 @@ css: publications
   for (let link of links) {
     link.addEventListener("click", function() { check.checked = false; });
   }
-</script>
\ No newline at end of file
+</script>
diff --git a/html/tutorials.html b/html/tutorials.html
index 48f75ebe32c8494741dca0a24a727c325309db25..9ce5e57809415c9b144c44183a478f4e42c8e663 100644
--- a/html/tutorials.html
+++ b/html/tutorials.html
@@ -13,7 +13,7 @@ css: publications
         <div class="wrap" has-nav="no">
           <h1 class="pageTitle">Tutorials</h1>
 
-          <h1 id="general" class="anchor"> Frama-C General </h1>
+          <h1 id="general" class="anchor"> Frama-C Framework </h1>
          
           {% include publication-entries.html
              category="tutorials" plugin="general" %}
@@ -32,4 +32,4 @@ css: publications
       </div>
     </div>
   </div>
-</body>
\ No newline at end of file
+</body>