That bug was caught before it shipped, so nothing reached production.