Bug fix and introduced distributed termination