Fix formatting of header