[checkmk-commits] [Checkmk/checkmk] 8613de: Minor cleanup