Another minor CMake bugfix.