fix a typo in CMakeLists.txt