1 files changed, 5 insertions, 3 deletions
diff --git a/theories/Numbers/Natural/BigN/genN.ml b/theories/Numbers/Natural/BigN/NMake_gen.ml
index 2a6e4b16a5..171c4ffed3 100644
--- a/theories/Numbers/Natural/BigN/genN.ml
+++ b/theories/Numbers/Natural/BigN/NMake_gen.ml
@@ -8,7 +8,7 @@
 
 (*i $Id$ i*)
 
-(*S genN.ml : this file generates NMake.v *)
+(*S NMake_gen.ml : this file generates NMake.v *)
 
 
 (*s The two parameters that control the generation: *)
@@ -53,11 +53,13 @@ let _ =
   pr "(*         *       GNU Lesser General Public License Version 2.1        *)";
   pr "(************************************************************************)";
   pr "";
-  pr "(**";
+  pr "(** * NMake *)";
+  pr "";
+  pr "(** From a cyclic Z/nZ representation to arbitrary precision natural numbers.";
   pr "- Authors: Benjamin Grégoire, Laurent Théry";
   pr "- Institution: INRIA";
   pr "- Date: 2007";
-  pr "- Remark: File automatically generated, DO NOT EDIT, see genN.ml instead";
+  pr "- Remark: File automatically generated by NMake_gen.ml, DO NOT EDIT !";
   pr "*)";
   pr "";
   pr "Require Import BigNumPrelude.";