Fixing file names

No content has changed. Just updating the file names and figuring out the whole pull request thing.