diff --git a/cgen/doc/running.texi b/cgen/doc/running.texi
index a435405f..0b76f491 100644
--- a/cgen/doc/running.texi
+++ b/cgen/doc/running.texi
@@ -16,8 +16,6 @@ The main tasks of this script are to:
 @item Apply any post processing to the output files.
 @end enumerate
 
-@subsection Set up the arguments for cgen.
-
 CGEN takes several standard arguments.
 Each application can then add its own arguments.
 By convention generic CGEN options are lowercase letters