emergency fix for jstree