diff --git a/.Makefile.lint b/.Makefile.lint
index fc916bfa1e33d42ff2e73b588b496e21b2d85da4..aae7e04c6cece012878cb11252471af71e934e3b 100644
--- a/.Makefile.lint
+++ b/.Makefile.lint
@@ -357,6 +357,7 @@ ML_LINT_KO+=src/plugins/pdg_types/pdgTypes.mli
 ML_LINT_KO+=src/plugins/postdominators/compute.ml
 ML_LINT_KO+=src/plugins/postdominators/postdominators_parameters.ml
 ML_LINT_KO+=src/plugins/postdominators/print.ml
+ML_LINT_KO+=src/plugins/print_api/dynamic_plugins.mli
 ML_LINT_KO+=src/plugins/print_api/print_interface.ml
 ML_LINT_KO+=src/plugins/scope/Scope.mli
 ML_LINT_KO+=src/plugins/scope/datascope.ml
diff --git a/src/kernel_services/ast_queries/logic_typing.mli b/src/kernel_services/ast_queries/logic_typing.mli
index eed2c7af32cd78be27c16b78726f20f7543bb883..59d1fc9037353595777fb5883510555e39d98678 100644
--- a/src/kernel_services/ast_queries/logic_typing.mli
+++ b/src/kernel_services/ast_queries/logic_typing.mli
@@ -176,7 +176,7 @@ type typing_context = {
 
     @since Carbon-20101201
     @modify Silicon-20161101 change type of the function
-    @Frama-C+dev add [status] argument
+    @modify Frama-C+dev add [status] argument
 *)
 val register_behavior_extension:
   string -> bool ->
diff --git a/src/libraries/stdlib/extlib.mli b/src/libraries/stdlib/extlib.mli
index 89d1cc38c082b61c94350adf14f074d4f611deba..1fdba6ce16dfa0177dea43c0bc00adb72f480b90 100644
--- a/src/libraries/stdlib/extlib.mli
+++ b/src/libraries/stdlib/extlib.mli
@@ -339,7 +339,7 @@ val mkdir : ?parents:bool -> string -> Unix.file_perm -> unit
       and then fail to create the children, e.g. if [perm] does not allow
       user execution of the created directory. This will leave the filesystem
       in a modified state before raising an exception.
-      @raise [Unix.Unix_error] if cannot create [name] or its parents.
+      @raise Unix.Unix_error if cannot create [name] or its parents.
       @since Frama-C+dev  *)
 
 val safe_at_exit : (unit -> unit) -> unit