Fix formatting of header (successfully this time)