Just a little formatting improvement for final summary (again).