diff --git a/lib/asn1/krb5.asn1 b/lib/asn1/krb5.asn1
index ed663fcf5..1dd5de3b7 100644
--- a/lib/asn1/krb5.asn1
+++ b/lib/asn1/krb5.asn1
@@ -190,8 +190,9 @@ AUTHDATA-TYPE ::= INTEGER {
 	KRB5-AUTHDATA-OSF-DCE-PKI-CERTID(66),
 	KRB5-AUTHDATA-WIN2K-PAC(128),
 	KRB5-AUTHDATA-GSS-API-ETYPE-NEGOTIATION(129), -- Authenticator only
-	KRB5-AUTHDATA-SIGNTICKET-OLD(-17),
-	KRB5-AUTHDATA-SIGNTICKET(142)
+	KRB5-AUTHDATA-SIGNTICKET-OLDER(-17),
+	KRB5-AUTHDATA-SIGNTICKET-OLD(142)
+	KRB5-AUTHDATA-SIGNTICKET(512)
 }
 
 -- checksumtypes