Fixing some typos in filenames