diff --git a/lib/asn1/krb5.opt b/lib/asn1/krb5.opt
index c6fc1bb34..1d6d5e898 100644
--- a/lib/asn1/krb5.opt
+++ b/lib/asn1/krb5.opt
@@ -1,5 +1,5 @@
 --encode-rfc1510-bit-string
---sequence=KRB5SignedPathPrincipals
+--sequence=Principals
 --sequence=AuthorizationData
 --sequence=METHOD-DATA
 --sequence=ETYPE-INFO