Configuration option typo in krb5.conf man page.  Patch attached.