diff --git a/lib/asn1/krb5.asn1 b/lib/asn1/krb5.asn1
index 3338c701f..634598db0 100644
--- a/lib/asn1/krb5.asn1
+++ b/lib/asn1/krb5.asn1
@@ -68,7 +68,7 @@ PADATA-TYPE ::= INTEGER {
 	KRB5-PADATA-ALT-PRINC(24),		-- (crawdad@fnal.gov)
 	KRB5-PADATA-SAM-CHALLENGE2(30),		-- (kenh@pobox.com)
 	KRB5-PADATA-SAM-RESPONSE2(31),		-- (kenh@pobox.com)
-	KRB5-PA-EXTRA-TGT(41)			-- Reserved extra TGT
+	KRB5-PA-EXTRA-TGT(41),			-- Reserved extra TGT
 	KRB5-PADATA-TD-KRB-PRINCIPAL(102),	-- PrincipalName
 	KRB5-PADATA-PK-TD-TRUSTED-CERTIFIERS(104), -- PKINIT
 	KRB5-PADATA-PK-TD-CERTIFICATE-INDEX(105), -- PKINIT