Minor changes to CMakeLists.txt.