It has occurred to me that this is probably bug 5858 which has already been fixed by Secure Endpoints and is available in private builds that are made available to Secure Endpoints support customers. The fix is also available in the MIT Kerberos repository. Jeffrey Altman