Small correction in CMakeLists.txt