diff --git a/Doc/lib/libcmd.tex b/Doc/lib/libcmd.tex
index 54d924f..847aa20 100644
--- a/Doc/lib/libcmd.tex
+++ b/Doc/lib/libcmd.tex
@@ -33,10 +33,10 @@
 first prompt (this overrides the \member{intro} class member).
 
 If the \module{readline} module is loaded, input will automatically
-inherit \program{bash}-like history-list editing (e.g. \kbd{Ctrl-P}
-scrolls back to the last command, \kbd{Ctrl-N} forward to the next
-one, \kbd{Ctrl-F} moves the cursor to the right non-destructively,
-\kbd{Ctrl-B} moves the cursor to the left non-destructively, etc.).
+inherit \program{bash}-like history-list editing (e.g. \kbd{Control-P}
+scrolls back to the last command, \kbd{Control-N} forward to the next
+one, \kbd{Control-F} moves the cursor to the right non-destructively,
+\kbd{Control-B} moves the cursor to the left non-destructively, etc.).
 
 An end-of-file on input is passed back as the string \code{'EOF'}.
 
diff --git a/Doc/lib/libcurses.tex b/Doc/lib/libcurses.tex
index ebe78a5..605cc26 100644
--- a/Doc/lib/libcurses.tex
+++ b/Doc/lib/libcurses.tex
@@ -1304,20 +1304,22 @@
 keystrokes: 
 
 \begin{tableii}{l|l}{kbd}{Keystroke}{Action}
-  \lineii{Ctrl-A}{Go to left edge of window.}
-  \lineii{Ctrl-B}{Cursor left, wrapping to previous line if appropriate.}
-  \lineii{Ctrl-D}{Delete character under cursor.}
-  \lineii{Ctrl-E}{Go to right edge (stripspaces off) or end of line
+  \lineii{Control-A}{Go to left edge of window.}
+  \lineii{Control-B}{Cursor left, wrapping to previous line if appropriate.}
+  \lineii{Control-D}{Delete character under cursor.}
+  \lineii{Control-E}{Go to right edge (stripspaces off) or end of line
                   (stripspaces on).}
-  \lineii{Ctrl-F}{Cursor right, wrapping to next line when appropriate.}
-  \lineii{Ctrl-G}{Terminate, returning the window contents.}
-  \lineii{Ctrl-H}{Delete character backward.}
-  \lineii{Ctrl-J}{Terminate if the window is 1 line, otherwise insert newline.}
-  \lineii{Ctrl-K}{If line is blank, delete it, otherwise clear to end of line.}
-  \lineii{Ctrl-L}{Refresh screen.}
-  \lineii{Ctrl-N}{Cursor down; move down one line.}
-  \lineii{Ctrl-O}{Insert a blank line at cursor location.}
-  \lineii{Ctrl-P}{Cursor up; move up one line.}
+  \lineii{Control-F}{Cursor right, wrapping to next line when appropriate.}
+  \lineii{Control-G}{Terminate, returning the window contents.}
+  \lineii{Control-H}{Delete character backward.}
+  \lineii{Control-J}{Terminate if the window is 1 line, otherwise
+                     insert newline.}
+  \lineii{Control-K}{If line is blank, delete it, otherwise clear to
+                     end of line.}
+  \lineii{Control-L}{Refresh screen.}
+  \lineii{Control-N}{Cursor down; move down one line.}
+  \lineii{Control-O}{Insert a blank line at cursor location.}
+  \lineii{Control-P}{Cursor up; move up one line.}
 \end{tableii}
 
 Move operations do nothing if the cursor is at an edge where the
@@ -1325,11 +1327,11 @@
 possible:
 
 \begin{tableii}{l|l}{constant}{Constant}{Keystroke}
-  \lineii{KEY_LEFT}{\kbd{Ctrl-B}}
-  \lineii{KEY_RIGHT}{\kbd{Ctrl-F}}
-  \lineii{KEY_UP}{\kbd{Ctrl-P}}
-  \lineii{KEY_DOWN}{\kbd{Ctrl-N}}
-  \lineii{KEY_BACKSPACE}{\kbd{Ctrl-h}}
+  \lineii{KEY_LEFT}{\kbd{Control-B}}
+  \lineii{KEY_RIGHT}{\kbd{Control-F}}
+  \lineii{KEY_UP}{\kbd{Control-P}}
+  \lineii{KEY_DOWN}{\kbd{Control-N}}
+  \lineii{KEY_BACKSPACE}{\kbd{Control-h}}
 \end{tableii}
 
 All other keystrokes are treated as a command to insert the given
diff --git a/Doc/lib/libexcs.tex b/Doc/lib/libexcs.tex
index 7e34bd0..65b1dd8 100644
--- a/Doc/lib/libexcs.tex
+++ b/Doc/lib/libexcs.tex
@@ -177,7 +177,7 @@
 
 \begin{excdesc}{KeyboardInterrupt}
   Raised when the user hits the interrupt key (normally
-  \kbd{Control-C} or \kbd{DEL}).  During execution, a check for
+  \kbd{Control-C} or \kbd{Delete}).  During execution, a check for
   interrupts is made regularly.
 % XXXJH xrefs here
   Interrupts typed when a built-in function \function{input()} or