Fixing oversight in CMakeLists.txt