I think we found the bug, my bad