Hopefully reproduces bug