Hotfix: IE 11 compatibility.
TODO: upgrade to newer official jsTree release; may require jQuery upgrade.