Minor header fixes.