Tree3: corrected very rare (and never seen) bug.