Updated Set87 files to reflect new names