Minor fix, random header restyling.