Update kerberos.tex

Пунктуация. Двоеточие уместно.