Fix bug in CMake file