Simplify the stop at header functionality

Make `summary_stop_at_header` stop at the first header encountered,
regardless of whether or not the summary is empty. I couldn't think of a
legitimate use case where a user would want to stop at the second
header.

Also, clean up stuff.