fixed bug in filter for libxml2: endless loop when reading document type of already consumed document