s4:kdc: Fix diagnostic messages