Fixed a minor header bug