Simplify the fetching of header fields.

  We could use this to display arbitrary headers in the format-string.