Clarify ambiguity in prioritization state management

The manner in which weights should be redistributed when a node is removed from the priority tree is a little ambiguous. This is a proposed rewording to make the specification more clear.