Remove an unnecessary difference from jsdemo HTML.