Thanks.  Verified fixed on master (23a16fb) and krb5-1.14 (fdc03ea).

Anders