[checkmk-commits] EC: Minor cleanup