diff --git a/_data/tabs.yml b/_data/tabs.yml
index d53e65e64afac9a8a85ad64d154291e6e3d31f3b..f2fa30e8d37d4ea63e6e7f8a263222cee251ed96 100644
--- a/_data/tabs.yml
+++ b/_data/tabs.yml
@@ -7,6 +7,6 @@
 - name: GUI
   link: /html/gui.html
   id  : gui
-- name: ACSL
+- name: Specification
   link: /html/acsl.html
   id  : acsl