W3C DOM HTMLElement `innerHTML' property bug fix