CMakeLists.txt: minor documentation correction