diff --git a/src/kernel_services/ast_data/kernel_function.ml b/src/kernel_services/ast_data/kernel_function.ml
index ed5b97a7391c55ebbd436d110ffa4084406cce92..f4b49deb7edd568133fa2227290296a752d6e61b 100644
--- a/src/kernel_services/ast_data/kernel_function.ml
+++ b/src/kernel_services/ast_data/kernel_function.ml
@@ -556,7 +556,7 @@ let var_is_in_scope stmt vi =
       Cil_datatype.Stmt.equal sfst (find_enclosing_stmt_in_block b sdef) ||
       is_between b sfst sdef stmt
   in
-  (* If sdef is equal to stmt, vi is not in the scope yet. *)
+  (* If sdef is equal to stmt, vi is in scope. *)
   Option.equal Cil_datatype.Stmt.equal sdef (Some stmt) ||
   List.exists (fun b ->
       List.exists (Cil_datatype.Varinfo.equal vi) b.blocals &&