src/Pure/Admin/build_status.scala

                 List(
                   """ using 1:6 smooth sbezier title "maximum heap (smooth)" """,
                   """ using 1:6 smooth csplines title "maximum heap" """,
                   """ using 1:7 smooth sbezier title "average heap (smooth)" """,
                   """ using 1:7 smooth csplines title "average heap" """,
-                  """ using 1:8 smooth sbezier title "final heap (smooth)" """,
-                  """ using 1:8 smooth csplines title "final heap" """)
+                  """ using 1:8 smooth sbezier title "stored heap (smooth)" """,
+                  """ using 1:8 smooth csplines title "stored heap" """)
 
               def jfreechart(plot_name: String, fields: ML_Statistics.Fields): Image =
               {
                 val image = Image(plot_name, image_width, image_height)
                 val chart =