Fixed the document type explorer