reproduces bug