diff --git a/src/kernel_services/plugin_entry_points/dynamic.ml b/src/kernel_services/plugin_entry_points/dynamic.ml
index a57e0d3ed55d8bf6a0b5e6723a1478d09ae32319..d9c06828a1b70b55aabc1a010b87bb763c8ab0fc 100644
--- a/src/kernel_services/plugin_entry_points/dynamic.ml
+++ b/src/kernel_services/plugin_entry_points/dynamic.ml
@@ -133,7 +133,7 @@ let load_module m =
   let base,ext = split_ext m in
   match ext with
   | ".ml" ->
-    Klog.error "Script loading as been deprecated in favor of the load of script libraries (see shell script `frama-c-build-scripts.sh` to build such a script library that can be loaded via the Frama-C option `-load-library`)."
+    Klog.error "Script loading has been deprecated in favor of the load of script libraries (see shell script `frama-c-build-scripts.sh` to build such a script library that can be loaded via the Frama-C option `-load-library`)."
   | _ ->
     begin
       (* load object or compile script or find package *)
@@ -142,7 +142,7 @@ let load_module m =
       | None ->
         match is_file base ".ml" with
         | Some _ ->
-          Klog.error "Script loading as been deprecated in favor of the command frama-c-init-plugin"
+          Klog.error "Script loading has been deprecated in favor of the command frama-c-init-plugin"
         | None ->
           if is_package m && Dune_site_plugins.V1.available m then load_packages [m]
           else
diff --git a/src/plugins/eva/gui/gui_callstacks_manager.ml b/src/plugins/eva/gui/gui_callstacks_manager.ml
index c395857193f414fcbda684681b6812909cabaf50..0c86e8479d31fa52fadce1fe752644b1f3cf4813 100644
--- a/src/plugins/eva/gui/gui_callstacks_manager.ml
+++ b/src/plugins/eva/gui/gui_callstacks_manager.ml
@@ -797,7 +797,7 @@ module Make (Input: Input) = struct
              end;
              add_focus_all_callstacks menu icon;
              add_unfocus_callstacks menu icon;
-             (* Popup the menu only if something as been added *)
+             (* Popup the menu only if something has been added *)
              if Lazy.is_val menu then
                let time = GtkMain.Main.get_current_event_time () in
                (!!menu)#popup ~button:3 ~time
diff --git a/src/plugins/scope/datascope.ml b/src/plugins/scope/datascope.ml
index 65ad9b3a4f1274c55653b2665b09b5f5e090af97..4c806545b623c8a67acf61c01b88d467f5eef64c 100644
--- a/src/plugins/scope/datascope.ml
+++ b/src/plugins/scope/datascope.ml
@@ -609,7 +609,7 @@ let get_prop_scope_at_stmt kf stmt annot =
   let s, m = get_prop_scope_at_stmt ~warn:true kf stmt annot in
   s, list_proven m
 
-(* Currently lazy, because we need to define it after Value as been registered
+(* Currently lazy, because we need to define it after Value has been registered
    in Db *)
 let emitter = lazy (
   let conv = List.map Typed_parameter.get in