diff --git a/lib/asn1/k5.asn1 b/lib/asn1/k5.asn1
index 8444e5dd8..f7729e19c 100644
--- a/lib/asn1/k5.asn1
+++ b/lib/asn1/k5.asn1
@@ -26,10 +26,16 @@ HostAddress ::=     SEQUENCE  {
                     address[1]               OCTET STRING
 }
 
-HostAddresses ::=   SEQUENCE OF SEQUENCE {
-                    addr-type[0]             INTEGER,
-                    address[1]               OCTET STRING
-}
+-- This is from RFC1510.
+--
+-- HostAddresses ::=   SEQUENCE OF SEQUENCE {
+--                     addr-type[0]             INTEGER,
+--                     address[1]               OCTET STRING
+-- }
+
+-- This seems much better.
+HostAddresses ::=	SEQUENCE OF HostAddress
+
 
 KerberosTime ::=   GeneralizedTime -- Specifying UTC time zone (Z)