diff --git a/src/plugins/users/users_register.ml b/src/plugins/users/users_register.ml
index f556af9526d47558f4ee79c364b2a0db5cb08162..a57f90f00f611368777176fdc7dc2fd6c41dc995 100644
--- a/src/plugins/users/users_register.ml
+++ b/src/plugins/users/users_register.ml
@@ -79,7 +79,7 @@ let get kf =
   if Users.is_computed () then
     find kf
   else begin
-    if Db.Value.is_computed () then begin
+    if Eva.Analysis.is_computed () then begin
       feedback "requiring again the computation of the value analysis";
       Project.clear
         ~selection:(State_selection.with_dependencies Db.Value.self)
@@ -87,7 +87,7 @@ let get kf =
     end else
       feedback ~level:2 "requiring the computation of the value analysis";
     add_value_hook ();
-    !Db.Value.compute ();
+    Eva.Analysis.compute ();
     find kf
   end