Distributed: improved management of quorum when a node is unreachable