Minor editing of failure detectors post