All looks about right. Nayr is right about trimming eleocharis, trim it right to the ground first, these leaves will rot eventually anyway as it is emersed growth. Later in the areas where you want it to grow taller trim it less, the rest where you want it short once carpeted needs to be trimmed...