Improve comment about JavaScriptCore bug.