Fixing up file naming snafu