1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index dc7efbab35..b0b7f62e96 100644
--- a/CHANGES
+++ b/CHANGES
@@ -11,7 +11,7 @@ Tactics
   incompatibilities solvable by redefining "intuition" as 
   "unfold iff in *; intuition".
 - Improved support of dependent goals over objects in dependent types for
-  "destruct".
+  "destruct" (rare source of incompatibility).
 
 Vernacular commands