1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index a48209f5..84f77586 100644
--- a/CHANGES
+++ b/CHANGES
@@ -204,7 +204,7 @@ APIs), then you may have to upgrade your Isabelle version as well.
 
 ** Changes for Coq
 
-*** Indentation
+*** Indentation improved
 
 *** Menu entries for commands, tactics and terms