diff --git a/doc/index.txt b/doc/index.txt
index 04c6ac98..f7431f1a 100644
--- a/doc/index.txt
+++ b/doc/index.txt
@@ -1,6 +1,6 @@
 
-Dolmen
-======
+mSAT
+====
 Guillaume Bury <guillaume.bury@gmail.com>
 
 * link:dev[]