Update run instructions to use the correct file.