Fixed bug in DexTree