JEZTree fixes