Update repro instructions.