Fix typo in the main CMakeLists.txt