Did they use chat-gpt to fix the bug?