[checkmk-commits] Tiny simplification.