Minor change to CMakeLists.txt