a small bug to fix for tree merge