repro of #3