Fixed an error in CMakeLists.txt