Fix (bug fix) fixed bug in v_krb5_read.