diff --git a/lib/asn1/krb5.asn1 b/lib/asn1/krb5.asn1
index 1dd5de3b7..b9a566de7 100644
--- a/lib/asn1/krb5.asn1
+++ b/lib/asn1/krb5.asn1
@@ -191,7 +191,7 @@ AUTHDATA-TYPE ::= INTEGER {
 	KRB5-AUTHDATA-WIN2K-PAC(128),
 	KRB5-AUTHDATA-GSS-API-ETYPE-NEGOTIATION(129), -- Authenticator only
 	KRB5-AUTHDATA-SIGNTICKET-OLDER(-17),
-	KRB5-AUTHDATA-SIGNTICKET-OLD(142)
+	KRB5-AUTHDATA-SIGNTICKET-OLD(142),
 	KRB5-AUTHDATA-SIGNTICKET(512)
 }