11<!--
2- $PostgreSQL: pgsql/doc/src/sgml/config.sgml,v 1.24 2005/10/03 22:55:50 tgl Exp $
2+ $PostgreSQL: pgsql/doc/src/sgml/config.sgml,v 1.25 2005/10/08 20:27:25 tgl Exp $
33-->
44<chapter Id="runtime-config">
55 <title>Run-time Configuration</title>
@@ -592,8 +592,8 @@ SET ENABLE_SEQSCAN TO OFF;
592592 <para>
593593 Sets the hostname part of the service principal.
594594 This, combined with <varname>krb_srvname</>, is used to generate
595- the complete service principal,i.e.
596- <varname>krb_server_hostname </><literal>/</><varname>krb_server_hostname</><literal>@</>REALM.
595+ the complete service principal,that is
596+ <varname>krb_srvname </><literal>/</><varname>krb_server_hostname</><literal>@</>REALM.
597597 </para>
598598 <para>
599599 If not set, the default is to allow any service principal matching an entry
@@ -610,7 +610,7 @@ SET ENABLE_SEQSCAN TO OFF;
610610 </indexterm>
611611 <listitem>
612612 <para>
613- Setsif Kerberos usernames should be treated case-insensitively.
613+ Setswhether Kerberos usernames should be treated case-insensitively.
614614 The default is <literal>off</> (case sensitive). This parameter
615615 can only be set at server start.
616616 </para>