diff --git a/src/kernel_services/ast_queries/cil_builtins.mli b/src/kernel_services/ast_queries/cil_builtins.mli
index c37b7e41c8608f04e96c5cf38d480a0aea8abc4b..45b02173c47744a19146fab35cc6eff13c84dbf8 100644
--- a/src/kernel_services/ast_queries/cil_builtins.mli
+++ b/src/kernel_services/ast_queries/cil_builtins.mli
@@ -62,7 +62,7 @@ val is_builtin: varinfo -> bool
     @since Fluorine-20130401 *)
 
 val has_fc_builtin_attr: varinfo -> bool
-(** @return true if the given variable refers to a Frama-C builtin.
+(** @return true if the given variable has a FC_BUILTIN attribute
     @since Frama-C+dev *)
 
 val is_unused_builtin: varinfo -> bool