You're not reading it right. The bug was found using a vibecoded fuzzer.