diff --git a/html/overview.md b/html/overview.md
index 7dc6d59b417e6f0a771863db550d484f42fda950..6bd6d02ad29fda3e27afdcecf71fa57126232acd 100644
--- a/html/overview.md
+++ b/html/overview.md
@@ -1,7 +1,7 @@
 ---
 layout: overview_page
 title: Overview - Frama-C
-description: Quick description of Frama-C, the C programs verification framework.
+description: Quick description of Frama-C, the C programs analysis platform.
 video: "https://www.youtube-nocookie.com/embed/WBXPDfz2u1c"
 ---
 
diff --git a/html/tutorials.html b/html/tutorials.html
index 0ed25fb217dcb200cad147016c6f7048f7d74295..26c3270a2f60916934c45167cb9ea0f604ee8c4a 100644
--- a/html/tutorials.html
+++ b/html/tutorials.html
@@ -1,7 +1,7 @@
 ---
 layout: default
 title: Tutorials
-description: Learn how to use the Frama-C verification platform analyzers with these tutorials.
+description: Learn how to use the Frama-C analysis platform with these tutorials.
 css: publications
 ---