Little fix in CMakeLists