The current version of the distance correction in NJ tree building is not correct for proteins: ``` let corrected_dist = -3.0 / 4.0 * (1.0 - 4.0 / 3.0 * proportion_diff).ln(); ```