Fix another header