fix small typo in CMakeLists.txt