DOM W3C HTMLElement `innerHTML' bug fix