I think I found the bug