diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index 449f772b287a24db0fe5bbdb0b9b29cd0f1b0f24..fd438e7de134a87f511ac4711e676947853f92ed 100644
--- a/src/kernel_services/ast_queries/cil.ml
+++ b/src/kernel_services/ast_queries/cil.ml
@@ -6150,7 +6150,7 @@ let combineTypesGen ?emitwith (combF : combineFunction)
             warning
               ~wkey:Kernel.wkey_int_conversion
               ~current:true
-              "Integer compatibily is machine-dependent : %a and %a\n"
+              "Integer compatibility is machine-dependent: %a and %a\n"
               Cil_datatype.Typ.pretty oldt Cil_datatype.Typ.pretty t;
             result k oldk
           end
diff --git a/tests/cil/oracle/cpu_a.res.oracle b/tests/cil/oracle/cpu_a.res.oracle
index b1e7b6ca0a1c634dbcdf616a65afa015feeb6f5d..02859882344d809e85673de3e68f05c572ab225d 100644
--- a/tests/cil/oracle/cpu_a.res.oracle
+++ b/tests/cil/oracle/cpu_a.res.oracle
@@ -1,7 +1,7 @@
 [kernel] Parsing cpu_a.c (with preprocessing)
 [kernel] Parsing cpu_b.c (with preprocessing)
 [kernel:typing:int-conversion] cpu_b.c:7: Warning: 
-  Integer compatibily is machine-dependent : unsigned short and unsigned int
+  Integer compatibility is machine-dependent: unsigned short and unsigned int
 [kernel:typing:merge-conversion] Warning: 
   Conflicting definitions are between files cpu_a.c and cpu_b.c
 /* Generated by Frama-C */
diff --git a/tests/cil/oracle/cpu_b.res.oracle b/tests/cil/oracle/cpu_b.res.oracle
index fba20f7512642f74fc2f578704f8261187bdef2a..80bec54ee4754e6fecfc3f17745a2d71082d28e5 100644
--- a/tests/cil/oracle/cpu_b.res.oracle
+++ b/tests/cil/oracle/cpu_b.res.oracle
@@ -1,7 +1,7 @@
 [kernel] Parsing cpu_b.c (with preprocessing)
 [kernel] Parsing cpu_a.c (with preprocessing)
 [kernel:typing:int-conversion] cpu_a.c:6: Warning: 
-  Integer compatibily is machine-dependent : unsigned int and unsigned short
+  Integer compatibility is machine-dependent: unsigned int and unsigned short
 [kernel:typing:merge-conversion] Warning: 
   Conflicting definitions are between files cpu_b.c and cpu_a.c
 /* Generated by Frama-C */