Fix file names in header