diff --git a/ChangeLog b/ChangeLog
index 267fcd3e..0a9fbd54 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2001-11-19  Akim Demaille  <akim@epita.fr>
+
+	* src/reader.c (symbols_output): New, extracted from...
+	(packsymbols): Here.
+	(reader): Call it.
+
 2001-11-19  Akim Demaille  <akim@epita.fr>
 
 	* src/lalr.c (set_maxrhs, maxrhs): Remove, replaced with...
diff --git a/src/reader.c b/src/reader.c
index 6206adca..eaa2d533 100644
--- a/src/reader.c
+++ b/src/reader.c
@@ -2041,4 +2041,6 @@ reader (void)
   symbols_output ();
   /* Convert the grammar into the format described in gram.h.  */
   packgram ();
+  /* Output the headers. */
+  symbols_output ();
 }