Minor fix for CR