Fixed bug in CMakeLists.txt