HTMLParser, DOMserializer and IE hotfix