Small typo in CMakeLists.ttx