[DOMCore] DocumentType: optional publicId and systemId

§5.7 includes this text:

> When a |DocumentType 
> <http://dvcs.w3.org/hg/domcore/raw-file/tip/Overview.html#documenttype>| 
> node is created, its name 
> <http://dvcs.w3.org/hg/domcore/raw-file/tip/Overview.html#concept-doctype-name> 
> is always given. Unless explicitly given when a |DocumentType 
> <http://dvcs.w3.org/hg/domcore/raw-file/tip/Overview.html#documenttype>| 
> node is created, its public ID 
> <http://dvcs.w3.org/hg/domcore/raw-file/tip/Overview.html#concept-doctype-publicid> 
> and system ID 
> <http://dvcs.w3.org/hg/domcore/raw-file/tip/Overview.html#concept-doctype-systemid> 
> are the empty string.
>

But the IDL for DOMImplementation.createDocumentType() is:

>    DocumentType  <http://dvcs.w3.org/hg/domcore/raw-file/tip/Overview.html#documenttype>  createDocumentType  <http://dvcs.w3.org/hg/domcore/raw-file/tip/Overview.html#dom-domimplementation-createdocumenttype>([TreatNullAs=EmptyString] DOMString qualifiedName, DOMString publicId, DOMString systemId);

Shouldn't the publicId and systemId arguments be annotated 
[TreatUndefinedAs=EmptyString]?  And maybe also 
[TreatNullAs=EmptyString]?  Or maybe they should just be declared 
optional and the textual description of createDocumentType should be 
updated to specify the empty string defaults.

     David