server: fix wording and punctuation in comment block for ctdb_reply_dmaster().