CMakeLists correction