Fixing mangled header