fix some formatting in the planning document