A few cleanups of propertyTree.js and tree.js