reduce to smallest case to repro error