Fixes a few filenames