Minor bug in CMakeLists