Small bug I found when using the statprof module when using the
statprof procedure with a flat display. The summary lines at the end
are not written to the port provided as an argument and are instead
written to (current-output-port). A patch is attached, which just
makes the format statements use port instead of #t.


Freja Nordsiek