Fixing a bug in the CMakeLists.txt