Minor fixes to CMakeLists.txt

Summary: