diff --git a/doc/src/sgml/ddl.sgml b/doc/src/sgml/ddl.sgml
index 676a87aeb9..5730f359c8 100644
--- a/doc/src/sgml/ddl.sgml
+++ b/doc/src/sgml/ddl.sgml
@@ -4395,8 +4395,9 @@ 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 timing information in the
+ EXPLAIN ANALYZE output. Subplans corresponding
+ to pruned partitions are shown as (never executed).