Further minor bugfix to CMake file.