minor header modification