Doc header fixes.