diff --git a/_data/tabs.yml b/_data/tabs.yml
index d5032da222a141fe5c4f5f935f569d262e6ebf08..d53e65e64afac9a8a85ad64d154291e6e3d31f3b 100644
--- a/_data/tabs.yml
+++ b/_data/tabs.yml
@@ -1,8 +1,12 @@
 - name: Plugins
   link: /html/kernel-plugin.html
+  id  : kernel-plugin
 - name: Kernel
   link: /html/kernel.html
+  id  : kernel
 - name: GUI
   link: /html/gui.html
+  id  : gui
 - name: ACSL
   link: /html/acsl.html
+  id  : acsl
diff --git a/_layouts/feature.html b/_layouts/feature.html
index 33ee8311b095a3f405944bbe557e34f059a9c5c7..e91caefcae0a5746c546482125a5601abf3a839e 100644
--- a/_layouts/feature.html
+++ b/_layouts/feature.html
@@ -15,11 +15,11 @@ title: Kernel & Plugins - Frama-C
         <div class="wrap">
           {% for tab in site.data.tabs %}
           <span>
-            <a class="tabLink {% if page.active==forloop.index %}active locked{% endif %}" href="{{ tab.link }}">{{ tab.name }}</a>
+            <a class="tabLink {% if page.active==tab.id %}active locked{% endif %}" href="{{ tab.link }}">{{ tab.name }}</a>
           </span>
           {% endfor %}
 
-          {% if page.active == 1 %}
+          {% if page.active == "kernel-plugin" %}
           <span>
             <div class="tabOptions">
               <div class="pluginSearch">
diff --git a/html/acsl.html b/html/acsl.html
index bf783aedbbc01c31bfe2f6c89b54e933faa1a4f0..2b42d9439bd509f730b6977124a8faed383a753f 100755
--- a/html/acsl.html
+++ b/html/acsl.html
@@ -1,8 +1,8 @@
 ---
 layout: feature
 css: plugin
-title: ACSL
-active: 4
+title: ACSL - Frama-C
+active: acsl
 ---
 
 <h1>ANSI/ISO C Specification Language</h1>
diff --git a/html/gui.md b/html/gui.md
index 103841e8001cc5ece51059a9d1dc20ab53a26185..44dd29db62bdae278c5eb2b979e84e1bb987a223 100644
--- a/html/gui.md
+++ b/html/gui.md
@@ -2,7 +2,7 @@
 layout: feature
 css: plugin
 title: Graphical User Interface (GUI) - Frama-C
-active: 3
+active: gui
 ---
 
 If the Frama-C kernel is the heart of the platform,
diff --git a/html/kernel-plugin.html b/html/kernel-plugin.html
index f7d1cffecbe8b02ffd7748fd574073358c2af945..c592d797e4625e2eb2eb77cd61339879ec6929fa 100755
--- a/html/kernel-plugin.html
+++ b/html/kernel-plugin.html
@@ -2,7 +2,7 @@
 layout: feature
 css: plugin
 title: Kernel & Plugins - Frama-C
-active: 1
+active: "kernel-plugin"
 ---
 
 
diff --git a/html/kernel.html b/html/kernel.html
index 757b0770caa3079a486d1db91467d176a5598b0a..8ab71e3bd39ffa998a3b51708dcc97613b1772c8 100755
--- a/html/kernel.html
+++ b/html/kernel.html
@@ -2,7 +2,7 @@
 layout: feature
 css: plugin
 title: Kernel & Plugins - Frama-C
-active: 2
+active: kernel
 ---
 
 <p>The Frama-C platform allows checking security, verifying requirements and