There is definitely a bug, but it's difficult to repro and therefore test