diff --git a/doc/src/sgml/ref/pg_ctl-ref.sgml b/doc/src/sgml/ref/pg_ctl-ref.sgml
index 9bc911ad587..df5b3755b53 100644
--- a/doc/src/sgml/ref/pg_ctl-ref.sgml
+++ b/doc/src/sgml/ref/pg_ctl-ref.sgml
@@ -1,5 +1,5 @@
@@ -172,8 +172,6 @@ PostgreSQL documentation
Options
-
-
@@ -278,12 +276,10 @@ PostgreSQL documentation
-
-
-
- Windows options
-
+
+ Options for Windows
+
@@ -314,7 +310,8 @@ PostgreSQL documentation
-
+
+