[checkmk-commits] [tribe29/checkmk] b37d94: Minor cleanup