Making the coordinator treat done messages as liveness