More improvements to the header comments.