Reformat CMakeLists.txt a bit