Correct CMakeLists.txt