diff --git a/src/core/msat.mld b/src/core/msat.mld
index 33a6b1c3..50973961 100644
--- a/src/core/msat.mld
+++ b/src/core/msat.mld
@@ -21,7 +21,7 @@ The following modules allow to easily create a SAT or SMT solver (remark: a SAT
 simply an SMT solver with an empty theory).
 
 {!modules:
-Msat_solver
+Msat
 }
 
 The following modules allow the creation of a McSat solver (Model Constructing solver):