Small corrections to the CMakeLists.txt