In retrospect, I wonder if there was a better way to report that bug. Clearly the first person didn't get it, at all.