1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index c84aa00fb0..502f848fb2 100644
--- a/CHANGES
+++ b/CHANGES
@@ -17,7 +17,7 @@ Tactic language
 
 - Support for fix/cofix added in Ltac "match" and "lazymatch".
 
-- Ltac backtraces now contain include trace information about tactics
+- Ltac backtraces now include trace information about tactics
   called by OCaml-defined tactics.
 
 Changes from 8.8+beta1 to 8.8.0