diff --git a/doc/src/sgml/ddl.sgml b/doc/src/sgml/ddl.sgml
index 5ae3cacbf0e..5e5c3d7057b 100644
--- a/doc/src/sgml/ddl.sgml
+++ b/doc/src/sgml/ddl.sgml
@@ -3921,8 +3921,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.