diff --git a/Doc/doc/doc.tex b/Doc/doc/doc.tex
index 7069f2f..9254ebb 100644
--- a/Doc/doc/doc.tex
+++ b/Doc/doc/doc.tex
@@ -787,8 +787,13 @@
     \begin{macrodesc}{kbd}{\p{key sequence}}
       Mark a sequence of keystrokes.  What form \var{key sequence}
       takes may depend on platform- or application-specific
-      conventions.  For example, an \program{xemacs} key sequence
-      may be marked like \code{\e kbd\{C-x C-f\}}.
+      conventions.  When there are no relevant conventions, the names
+      of modifier keys should be spelled out, to improve accessibility
+      for new users and non-native speakers.  For example, an
+      \program{xemacs} key sequence may be marked like
+      \code{\e kbd\{C-x C-f\}}, but without reference to a specific
+      application or platform, the same sequence should be marked as
+      \code{\e kbd\{Control-x Control-f\}}.
     \end{macrodesc}
 
     \begin{macrodesc}{keyword}{\p{name}}