Thanks, a fix has already been committed for the upcoming krb5-1.4.3
release.