Added repro project... but it works