Minor update to CMakeLists.txt