Minor fix in cmake