Fix bug in CMakeLists.txt