It was a cosmetic, not a security-critical bug, so there's really no reason why it needed to be released right away. Also "a few days" was just a guess. I noti

It was a cosmetic, not a security-critical bug, so there's really no reason why it needed to be released right away. Also "a few days" was just a guess. I noticed that it was a problem, then I noticed a few days later that the fix had been release. I don't actually know exactly how long it took to release the fix after it was committed.