Fixed small bug in CMakeLists