diff --git a/src/language.ml b/src/language.ml
index 684b4a009f61f2699cf4b6b9e8c6f25618f9ee59..9df892e67ef621b1111e7b5e383126a2b6b97373 100644
--- a/src/language.ml
+++ b/src/language.ml
@@ -53,7 +53,7 @@ let register_svm_as_array nb_inputs nb_classes filename env =
   let svm_type =
     Ty.ty_app Theory.(ns_find_ts svm.mod_theory.th_export [ "svm" ]) []
   in
-  let id_as_array = Ident.id_fresh "SVMAsArray" in
+  let id_as_array = Ident.id_fresh "SVMasArray" in
   let th_uc = Pmodule.create_module env id_as_array in
   let th_uc = Pmodule.use_export th_uc svm in
   let ls_svm_apply =
@@ -64,7 +64,7 @@ let register_svm_as_array nb_inputs nb_classes filename env =
     Pmodule.add_pdecl ~vc:false th_uc
       (Pdecl.create_pure_decl (Decl.create_param_decl ls_svm_apply))
   in
-  Wstdlib.Mstr.singleton "SVMAsArray" (Pmodule.close_module th_uc)
+  Wstdlib.Mstr.singleton "SVMasArray" (Pmodule.close_module th_uc)
 
 let nnet_parser env _ filename _ =
   let model = Nnet.parse filename in
diff --git a/tests/simple_ovo.t b/tests/simple_ovo.t
index e4e6295e577c4980613327f6cda434a0e6c98062..82f0d866c27e4ae05c7f58a2558bc6c8877f39b5 100644
--- a/tests/simple_ovo.t
+++ b/tests/simple_ovo.t
@@ -27,7 +27,7 @@ Test verify
 
   $ caisar verify -L . --format whyml --prover=SAVer --dataset-csv=test_data.csv - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9_./]*/$TMPFILE/'
   > theory T
-  >     use TestSVM.SVMAsArray
+  >     use TestSVM.SVMasArray
   >     use ieee_float.Float64
   >     use caisar.IOShape
   >     use caisar.SVM