Fix a typo in the main CMakeList