Fix small formatting in CMakeLists.txt