Fix file names in file comment.
Merge pull request #2453 from tewha/header

Fix old file names in file header comments.