Fix file doc header.