Fix a subtle issue in RateTree