Minor issues in heimdal kerberos