Removed unused FinishedPropagatingMessage.