diff --git a/lib/asn1/k5.asn1 b/lib/asn1/k5.asn1
index 2725efdc2..a7f419922 100644
--- a/lib/asn1/k5.asn1
+++ b/lib/asn1/k5.asn1
@@ -374,7 +374,7 @@ rsa-md4-des-k		INTEGER ::= 6
 rsa-md5			INTEGER ::= 7
 rsa-md5-des		INTEGER ::= 8
 rsa-md5-des3		INTEGER ::= 9
-hmac-sha1-des3		INTEGER ::= 10 -- should this be 12?
+hmac-sha1-des3		INTEGER ::= 12
 
 -- transited encodings
 
diff --git a/lib/krb5/krb5.h b/lib/krb5/krb5.h
index 747253453..48a995b9b 100644
--- a/lib/krb5/krb5.h
+++ b/lib/krb5/krb5.h
@@ -82,7 +82,7 @@ typedef enum krb5_cksumtype {
   CKSUMTYPE_RSA_MD5		= 7,
   CKSUMTYPE_RSA_MD5_DES		= 8,
   CKSUMTYPE_RSA_MD5_DES3	= 9,
-  CKSUMTYPE_HMAC_SHA1_DES3	= 10,
+  CKSUMTYPE_HMAC_SHA1_DES3	= 12,
   CKSUMTYPE_SHA1		= 1000 /* correct value? */
 } krb5_cksumtype;