Clarify ambiguity in priority tree specification over how weights should be distributed when a node is removed.