Additional updates to the Kerberos section

Tidy up what looks like the remnants of an extra line in the edit buffer,
and fix up a principle/principal mismatch.

What's the difference?
"One of the principles of Kerberos is that each principal has a
cryptographic key that's shared only between that principal and the KDC."