Fixed a mistake in the CMakeLists