[checkmk-commits] Small change in comment.