diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js index 33439b40a..3dfccfc3a 100644 --- a/unpacked/jax/output/CommonHTML/jax.js +++ b/unpacked/jax/output/CommonHTML/jax.js @@ -650,7 +650,7 @@ } if (state.text !== "") { if (node.childNodes.length) { - HTML.addElement(node,"span",{className:state.className},[state.text]); + this.charList.flushText(node,state); } else { HTML.addText(node,state.text); node.className = state.className;