1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index 2cd08cd764..8097ccd3fc 100644
--- a/CHANGES
+++ b/CHANGES
@@ -31,7 +31,7 @@ Language
 
 Vernacular commands
 
-- Added option Global to "Arguments Scope" for section surviving. (DOC TODO)
+- Added option Global to "Arguments Scope" for section surviving.
 - Added option "Unset Elimination Schemes" to deactivate the automatic
   generation of elimination schemes.
 - Modification of the Scheme command so you can ask for the name to be