Minor CMake fix (delete redundant line).