* Added more info on how to run the repro and what output it gives.