Header lines look nicer when they are the same length as the text of the header.