Re: Avoid PrincipalName with realm == null

[Weijun Wang]

Ideally this means if the realm of a name is null then this field can be
null. Otherwise, it must be filled when created.

Should be "if the realm of a name is the default realm".