So this case would be where a server failed to claim leadership, but it could not find the leader in the list of peers published by the discovery service. Could we either add this explanation in a comment or expand the error string?