Fix another header.