File name adjustments

Adjusted the names of some files.