fix repro instructions