diff --git a/doc/src/sgml/monitoring.sgml b/doc/src/sgml/monitoring.sgml
index 1b89eff814..5579b8b9e0 100644
--- a/doc/src/sgml/monitoring.sgml
+++ b/doc/src/sgml/monitoring.sgml
@@ -5565,19 +5565,6 @@ FROM pg_stat_get_backend_idset() AS backendid;
-
-
-
- pg_stat_get_backend_idset
-
- pg_stat_get_backend_idset ()
- setof integer
-
-
- Returns the set of currently active backend ID numbers.
-
-
-
@@ -5643,6 +5630,19 @@ FROM pg_stat_get_backend_idset() AS backendid;
+
+
+
+ pg_stat_get_backend_idset
+
+ pg_stat_get_backend_idset ()
+ setof integer
+
+
+ Returns the set of currently active backend ID numbers.
+
+
+
@@ -5682,20 +5682,6 @@ FROM pg_stat_get_backend_idset() AS backendid;
-
-
-
- pg_stat_get_backend_wait_event_type
-
- pg_stat_get_backend_wait_event_type ( integer )
- text
-
-
- Returns the wait event type name if this backend is currently waiting,
- otherwise NULL. See for details.
-
-
-
@@ -5711,6 +5697,20 @@ FROM pg_stat_get_backend_idset() AS backendid;
+
+
+
+ pg_stat_get_backend_wait_event_type
+
+ pg_stat_get_backend_wait_event_type ( integer )
+ text
+
+
+ Returns the wait event type name if this backend is currently waiting,
+ otherwise NULL. See for details.
+
+
+