diff --git a/lib/asn1/k5.asn1 b/lib/asn1/k5.asn1
index 0cd323313..8444e5dd8 100644
--- a/lib/asn1/k5.asn1
+++ b/lib/asn1/k5.asn1
@@ -15,6 +15,12 @@ PrincipalName ::=   SEQUENCE {
                     name-string[1]   SEQUENCE OF GeneralString
 }
 
+-- this is not part of RFC1510
+Principal ::=	    SEQUENCE {
+			name[0]		PrincipalName,
+			realm[1]	Realm
+}
+
 HostAddress ::=     SEQUENCE  {
                     addr-type[0]             INTEGER,
                     address[1]               OCTET STRING