Minor formatting of headers