fix the file name in instructions