Fixed minor CMake bug