Minor CMake edit