Fix in CMakeLists.txt