Fix filename in instructions.