--- old/modes.texi	2020-05-03 01:32:48.773267500 +0200
+++ new/modes.texi	2020-05-05 20:23:41.217738900 +0200
@@ -207,7 +207,7 @@
 
 @item
 Electric Quote mode automatically converts quotation marks.  For
-example, it requotes text typed @kbd{`like this'} to text @t{‘like
+example, it requotes text typed @verb{|`like this'|} to text @t{‘like
 this’}.  You can control what kind of text it operates in, and you can
 disable it entirely in individual buffers.  @xref{Quotation Marks}.