What about replace with: "then `filename` will be assigned to the following values in turn: `basilisk.dat`, `red dragon.dat` and `unicorn.dat`"?