Add leave message to protocol