Don't say just "option" when talking about variables.

Other minor cleanups.

1 files changed, 8 insertions, 8 deletions

diff --git a/man/mule.texi b/man/mule.texi
index 4bc6b9939dd..a726265ff72 100644
--- a/man/mule.texi
+++ b/man/mule.texi
@@ -996,11 +996,11 @@ your locale specification (@pxref{Language Environments}).
 @findex set-keyboard-coding-system
 @vindex keyboard-coding-system
   The command @kbd{C-x @key{RET} k} (@code{set-keyboard-coding-system})
-or the Custom option @code{keyboard-coding-system}
-specifies the coding system for keyboard input.  Character-code
-translation of keyboard input is useful for terminals with keys that
-send non-@acronym{ASCII} graphic characters---for example, some terminals designed
-for ISO Latin-1 or subsets of it.
+or the variable @code{keyboard-coding-system} specifies the coding
+system for keyboard input.  Character-code translation of keyboard
+input is useful for terminals with keys that send non-@acronym{ASCII}
+graphic characters---for example, some terminals designed for ISO
+Latin-1 or subsets of it.
 
   By default, keyboard input is translated based on your system locale
 setting.  If your terminal does not really support the encoding
@@ -1276,7 +1276,7 @@ instead, e.g.@: @samp{"o} for o-umlaut.  Load the library
 @vindex latin1-display
   If your terminal can display Latin-1, you can display characters
 from other European character sets using a mixture of equivalent
-Latin-1 characters and @acronym{ASCII} mnemonics.  Use the Custom option
+Latin-1 characters and @acronym{ASCII} mnemonics.  Customize the variable
 @code{latin1-display} to enable this.  The mnemonic @acronym{ASCII}
 sequences mostly correspond to those of the prefix input methods.
 
@@ -1338,10 +1338,10 @@ directly.
 On a windowing terminal, you should not need to do anything special to
 use these keys; they should simply work.  On a text-only terminal, you
 should use the command @code{M-x set-keyboard-coding-system} or the
-Custom option @code{keyboard-coding-system} to specify which coding
+variable @code{keyboard-coding-system} to specify which coding
 system your keyboard uses (@pxref{Specify Coding}).  Enabling this
 feature will probably require you to use @kbd{ESC} to type Meta
-characters; however, on a Linux console or in @code{xterm}, you can
+characters; however, on a console terminal or in @code{xterm}, you can
 arrange for Meta to be converted to @kbd{ESC} and still be able type
 8-bit characters present directly on the keyboard or using
 @kbd{Compose} or @kbd{AltGr} keys.  @xref{User Input}.