minor header fixes