I think I found the bug.