Minor typos and updates in CMakeLists