Fix a thinko in description of krb_server_hostname.

diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml
index 710605ca7002263a5f6ae52a0b1fe2d3326e5e46..68557a26d23871e80793433f4aa5160adf57b512 100644 (file)
--- a/doc/src/sgml/config.sgml
+++ b/doc/src/sgml/config.sgml
@@ -1,5 +1,5 @@
 
 
   Run-time Configuration
@@ -592,8 +592,8 @@ SET ENABLE_SEQSCAN TO OFF;
        
         Sets the hostname part of the service principal.
         This, combined with krb_srvname, is used to generate
-        the complete service principal, i.e.
-        krb_server_hostname/krb_server_hostname@REALM.
+        the complete service principal, that is
+        krb_srvname/krb_server_hostname@REALM.
        
        
         If not set, the default is to allow any service principal matching an entry
@@ -610,7 +610,7 @@ SET ENABLE_SEQSCAN TO OFF;
       
       
        
-        Sets if Kerberos usernames should be treated case-insensitively.
+        Sets whether Kerberos usernames should be treated case-insensitively.
         The default is off (case sensitive). This parameter
         can only be set at server start.