More cosmetic changes to file names