Misc header fixes.