Minor CMake bugfix.