I'm the author of that bug and I can assure you that no code review would catch it.