Another typo, in CMakeLists.txt this time