Fix a bug in the CMakeLists.txt