Fixing CMake syntax