diff --git a/lib/nnet/nnet.ml b/lib/nnet/nnet.ml
index 3ef39126ee3d41b1568e7063189fdd1f1f2d54f9..9f139babb343e69e1758b06a0a6cf2477980fad5 100644
--- a/lib/nnet/nnet.ml
+++ b/lib/nnet/nnet.ml
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caisar.                                          *)
+(*  This file is part of CAISAR.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
diff --git a/lib/nnet/nnet.mli b/lib/nnet/nnet.mli
index 437803c8e1bd9c10ace5b2157ef81048dc7005b1..e42999fd95658d84b2cafa7db6ddeaaf2156d68a 100644
--- a/lib/nnet/nnet.mli
+++ b/lib/nnet/nnet.mli
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caisar.                                          *)
+(*  This file is part of CAISAR.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
diff --git a/src/autodetection.ml b/src/autodetection.ml
index f3984ac7faccb559ac8ebcfb3db24d7694d330c9..ff79daa92780c633774adde95eea5f6a3a32e775 100644
--- a/src/autodetection.ml
+++ b/src/autodetection.ml
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caisar.                                          *)
+(*  This file is part of CAISAR.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
diff --git a/src/language.ml b/src/language.ml
index 12c379e1869d2cd6061deaca563b65bcef6ec05e..28bf71e89a867dc64642b9288bf305489aee0fcf 100644
--- a/src/language.ml
+++ b/src/language.ml
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caisar.                                          *)
+(*  This file is part of CAISAR.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
@@ -30,7 +30,6 @@ let nnet_parser env _ filename _ =
         (List.init header.n_inputs ~f)
         (Ty.ty_tuple (List.init header.n_outputs ~f))
     in
-
     let th_uc =
       Pmodule.add_pdecl ~vc:false th_uc
         (Pdecl.create_pure_decl @@ Decl.create_param_decl ls_nnet_apply)
diff --git a/src/main.ml b/src/main.ml
index af386438eaff30c11f6993ac7b931fbe446e0620..3c1254e22064d7059ff05c18acca5d9b06291412 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caisar.                                          *)
+(*  This file is part of CAISAR.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
diff --git a/src/verification.ml b/src/verification.ml
index 851dac507a7c540dc89a00407c1ac0698bfca381..1fa659152b89ef0be7f666d5670a3842fd184b3d 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caisar.                                          *)
+(*  This file is part of CAISAR.                                          *)
 (*                                                                        *)
 (**************************************************************************)