1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index 32521ab85a..aaf079602f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -135,7 +135,7 @@ Display diffs between proof steps
 
 - coqtop and coqide can now highlight the differences between proof steps
   in color. This can be enabled from the command line or the
-  "Set Diffs on|off|removed" command. Please see the documentation for
+  `Set Diffs "on"|"off"|"removed"` command. Please see the documentation for
   details.  Showing diffs in Proof General requires small changes to PG
   (under discussion).