Patch to fix several problems in MagicHTML.