Fix to wonky header