diff --git a/doc/src/sgml/ddl.sgml b/doc/src/sgml/ddl.sgml
index 1925ff4550..0d9353fc3b 100644
--- a/doc/src/sgml/ddl.sgml
+++ b/doc/src/sgml/ddl.sgml
@@ -4421,8 +4421,12 @@ EXPLAIN SELECT count(*) FROM measurement WHERE logdate >= DATE '2008-01-01';
        query, partition pruning is performed whenever one of the
        execution parameters being used by partition pruning changes.
        Determining if partitions were pruned during this phase requires
-       careful inspection of the nloops property in
-       the EXPLAIN ANALYZE output.
+       careful inspection of the loops property in
+       the EXPLAIN ANALYZE output.  Subplans corresponding
+       to different partitions may have different values for it depending on
+       how many times each of them was pruned during execution.  Some may be
+       shown as (never executed) if they were pruned every
+       time.