fix a header bug