diff --git a/doc/misc.texi b/doc/misc.texi
index 43f673e86..34436ee87 100644
--- a/doc/misc.texi
+++ b/doc/misc.texi
@@ -66,7 +66,7 @@ terminal server.
 or you can extract it with kadmin
 
 @example
-kadmin> ext -k AFSKEYFILE:/usr/afs/etc/KeyFile afs@My.CELL.NAME
+kadmin> ext -k AFSKEYFILE:/usr/afs/etc/KeyFile afs@@My.CELL.NAME
 @end example
 
 You have to make sure you have a @code{des-cbc-md5} enctype since that
@@ -115,6 +115,6 @@ them to the string list option @code{[kdc]use_2b} in the kdc's
 
 @example
 [kdc]
-	use_2b = afs@SU.SE
-	use_2b = afs/it.su.se@SU.SE
+	use_2b = afs@@SU.SE
+	use_2b = afs/it.su.se@@SU.SE
 @end example