Minor fix to get CK run under L* 1.2.x