Fixed rounding errors in mean tree height statistic recording