diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
index 55a5a63ae59..ba372618ac8 100644
--- a/doc/src/sgml/func.sgml
+++ b/doc/src/sgml/func.sgml
@@ -1,5 +1,5 @@
@@ -4903,24 +4903,6 @@ SELECT SUBSTRING('XY1234Z', 'Y*?([0-9]{1,3})');
such pair.
-
- When adding an interval value to (or subtracting an
- interval value from) a timestamp with time zone
- value, the days component advances (or decrements) the date of the
- timestamp with time zone by the indicated number of days.
- Across daylight saving time changes (with the session tiem zone set to a
- time zone that recognizes DST), this means interval '1 day'
- does not necessarily equal interval '24 hours'.
- For example, with the session time zone set to CST7CDT
- timestamp with time zone '2005-04-02 12:00-07' + interval '1 day'
- will produce timestamp with time zone '2005-04-03 12:00-06',
- while adding interval '24 hours' to the same initial
- timestamp with time zone produces
- timestamp with time zone '2005-04-03 13:00-06', as there is
- a change in daylight saving time at 2005-04-03 02:00 in time zone
- CST7CDT.
-
-
Date/Time Operators
@@ -5241,6 +5223,24 @@ SELECT (DATE '2001-02-16', INTERVAL '100 days') OVERLAPS
Result: false
+
+ When adding an interval value to (or subtracting an
+ interval value from) a timestamp with time zone
+ value, the days component advances (or decrements) the date of the
+ timestamp with time zone by the indicated number of days.
+ Across daylight saving time changes (with the session time zone set to a
+ time zone that recognizes DST), this means interval '1 day'
+ does not necessarily equal interval '24 hours'.
+ For example, with the session time zone set to CST7CDT,
+ timestamp with time zone '2005-04-02 12:00-07' + interval '1 day'
+ will produce timestamp with time zone '2005-04-03 12:00-06',
+ while adding interval '24 hours' to the same initial
+ timestamp with time zone produces
+ timestamp with time zone '2005-04-03 13:00-06', as there is
+ a change in daylight saving time at 2005-04-03 02:00 in time zone
+ CST7CDT.
+
+