Fixed an entry in CMakeLists.txt