add repro instructions