Fix a typo in main CMakeLists.txt