diff -up wrk/docs/gnuplot.texi.wrk wrk/docs/gnuplot.texi
--- wrk/docs/gnuplot.texi.wrk	2013-04-04 15:01:20.955895813 +0200
+++ wrk/docs/gnuplot.texi	2013-04-04 15:16:07.008661182 +0200
@@ -17650,7 +17650,7 @@ with no modifiers.
 @end menu
 
 @node aed767, aifm, complete_list_of_terminals, complete_list_of_terminals
-@subsubsection aed767
+@subsection aed767
 
 @c ?commands set terminal aed767
 @c ?set terminal aed767