minor header revisions