repro of #3
fixed #3