diff --git a/src/kernel_services/ast_queries/acsl_extension.mli b/src/kernel_services/ast_queries/acsl_extension.mli
index a8889b0899e2f56278e39f9966aa9245bf18aa82..937f8c65cb097bdedc77aaf615c28ab6c662da90 100644
--- a/src/kernel_services/ast_queries/acsl_extension.mli
+++ b/src/kernel_services/ast_queries/acsl_extension.mli
@@ -158,7 +158,7 @@ val register_code_annot_next_loop: register_extension
 val register_code_annot_next_both: register_extension
 
 (**
-   Module importer extensions allow to extends the import clause with external
+   Module importer extensions allow extending the import clause with external
    loaders. For instance, consider the following declaration:
    {[
      //@ import A: foo::bar;