Sorry, but I don't really understand this comment. I see no reason not to use the <code>flush</code> option here (as in the <code>after</code> statement below). We don't want to risk leaving the a 'DOWN' message in the message queue.