Bugs found in Kerberos