Improve the big header block comment slightly.