minor header fix