Reformatting CMakeLists.txt