diff --git a/src/plugins/e-acsl/mmodel_analysis.ml b/src/plugins/e-acsl/mmodel_analysis.ml
index b56436a3c053d200be7e208453c009d7202012ae..4c547d65a940edf74c315481822141c448623b43 100644
--- a/src/plugins/e-acsl/mmodel_analysis.ml
+++ b/src/plugins/e-acsl/mmodel_analysis.ml
@@ -710,7 +710,7 @@ and must_model_exp bhv ?kf ?stmt e = match e.enode with
     Options.fatal "[pre_analysis] unexpected expression %a" Exp.pretty e
 
 (* ************************************************************************** *)
-(** {Public API} {{{ *)
+(** {1 Public API} *)
 (* ************************************************************************** *)
 
 let must_model_vi ?bhv ?kf ?stmt vi =