Logical host name: minor rewording.

diff --git a/doc/config.but b/doc/config.but
index a4e7fb839d6b35495f87e4a66449a72aee9aa9a6..e56c069a1416535587b1cac94c4a8c2ad3ef37a2 100644 (file)
--- a/doc/config.but
+++ b/doc/config.but
@@ -1762,7 +1762,7 @@ you to reconfirm its host key. Conversely, if you expect to use the
 same local port number for port forwardings to lots of different
 servers, you probably didn't want any particular server's host key
 cached under that local port number. (For this latter case, you
-could also explicitly configure host keys in the relevant sessions;
+could instead explicitly configure host keys in the relevant sessions;
 see \k{config-ssh-kex-manual-hostkeys}.)
 
 If you just enter a host name for this option, PuTTY will cache the