Fixing up some file names.