diff --git a/src/kernel_services/ast_data/annotations.mli b/src/kernel_services/ast_data/annotations.mli
index 6f1ae71fa54224378c987a73c44a8628699c90b8..8c01a828f6cbbfe4979373d6a772d99f4562f9c5 100644
--- a/src/kernel_services/ast_data/annotations.mli
+++ b/src/kernel_services/ast_data/annotations.mli
@@ -31,7 +31,7 @@ open Cil_types
 (**************************************************************************)
 
 val add_hook_on_change: (unit -> unit) -> unit
-(** Emitted whenever anhy of the annotation tables are modified.
+(** Emitted whenever any of the annotation tables is modified.
     @since Frama-C+dev *)
 
 (**************************************************************************)