Improvements to the formatting.summary_line() function, and the removal of the indentation.
Authored by: bugman 2011-01-04
Parent: [r12125]
Child: [r12127]
