diff --git a/src/interpretation.ml b/src/interpretation.ml
index 80a0539af0c7f49f2ab3e3a317c6fa376b143927..eb1cdc00bf9db887ab74764ad998bcd5b912beca 100644
--- a/src/interpretation.ml
+++ b/src/interpretation.ml
@@ -52,7 +52,7 @@ let term_of_caisar_op engine op =
   Term.t_app_infer (ls_of_caisar_op engine op) []
 
 let caisar_env env cwd =
-  let th = Env.read_theory env [ "caisar" ] "Interpret" in
+  let th = Env.read_theory env [ "caisar" ] "Interpretation" in
   let ts_dataset = Theory.ns_find_ts th.Theory.th_export [ "dataset" ] in
   {
     dataset_ty = Ty.ty_app ts_dataset [];
@@ -89,7 +89,7 @@ let builtin_caisar : caisar_env CRE.built_in_theories list =
   in
   [
     ( [ "caisar" ],
-      "Interpret",
+      "Interpretation",
       [],
       [ ("open_dataset", None, open_dataset); ("size", None, size) ] );
   ]
diff --git a/stdlib/caisar.mlw b/stdlib/caisar.mlw
index e5c815a8b19780130a9708f57304f847d5cb326d..13583bb6717ccf627ea755f124a9239c4f49da89 100644
--- a/stdlib/caisar.mlw
+++ b/stdlib/caisar.mlw
@@ -81,7 +81,7 @@ theory NN
   function relu (a: t): t =  if a .> (0.0:t) then a else (0.0:t)
 end
 
-theory Interpret
+theory Interpretation
   use bool.Bool
   use int.Int
 
diff --git a/tests/interpretation.t b/tests/interpretation.t
index 364dbee3bf06e4078c440a18eeeec330824efd45..31dcd1a89e47f5b01d3aa3242820e98199857992 100644
--- a/tests/interpretation.t
+++ b/tests/interpretation.t
@@ -1,7 +1,7 @@
 Test interpret
   $ caisar interpret -L . --format whyml - 2>&1 <<EOF | ./filter_tmpdir.sh
   > theory T
-  >  use caisar.Interpret
+  >  use caisar.Interpretation
   >  use int.Int
   > 
   >   goal G1: 1+1=2