minor change in CMakeLists.txt