fix #83 (XML DTD)