Fixing a mistake in filenames