Fixed a minor bug in Core/CMakeLists.txt