Was this written by ChatGPT? Maybe it found the bug as well, who knows.