Fixed a few file name mistakes