Created the ticket about 10 seconds too soon... I misread the code, it compares the number of unarrived parties, not the phase number. Rejecting as invalid.