Fix glitch in header