[checkmk-commits] Some minor naming changes