-- minor bug in CMakeLists