Minor fix in CMakeLists.txt