What's the document.doctype of a document with a nonsense DTD?