I don't think it was. He could have informed the core dev team of this relatively easy fix before it was an issue. This arose out of a live error. I still want to know what he was talking about!